~/jendhub

law lt_zero_absurd

lawful-arrays@0.1.0.0 · proof_base.bend:147

import lawful-arrays@0.1.0.0/proof_base.bend as ProofBase
import Base

147law lt_zero_absurd:
148  for +i: Nat
149  for e: {Nat.is_lt(i, 0n) == True{} : Bool}
150  Empty

Uses (8)

Used by (25)