def gt.hd9

bend-osdev-gf@0.1.1.0 · proof_tab.bend:187

import Base

187def gt.hd9() -> {Nat.is_lt(9n, 32n) == True{} : Bool}:
188  {==}