def gt.f0

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

import Base

256def gt.f0() -> {U32.from_nat(0n) == 0 : U32}:
257  {==}