law lt_irrefl
import minebender-game@1.0.0.0/proof_base.bend as ProofBaseimport Base
97law lt_irrefl:
98 for +n: Nat
99 {Nat.is_lt(n, n) == False{} : Bool}
Uses (3)
Used by (0)
No other definition uses this definition.
import minebender-game@1.0.0.0/proof_base.bend as ProofBaseimport Base
97law lt_irrefl:
98 for +n: Nat
99 {Nat.is_lt(n, n) == False{} : Bool}
No other definition uses this definition.