law succ_ne_zero
import lawful-arrays@0.1.0.0/proof_base.bend as ProofBaseimport Base
75law succ_ne_zero:
76 for -n: Nat
77 for e: {1n+n == 0n : Nat}
78 Empty
import lawful-arrays@0.1.0.0/proof_base.bend as ProofBaseimport Base
75law succ_ne_zero:
76 for -n: Nat
77 for e: {1n+n == 0n : Nat}
78 Empty