law succ_ne_zero
import minebender-game@1.0.0.0/proof_base.bend as ProofBaseimport Base
77law succ_ne_zero:
78 for -n: Nat
79 for e: {1n+n == 0n : Nat}
80 Empty
import minebender-game@1.0.0.0/proof_base.bend as ProofBaseimport Base
77law succ_ne_zero:
78 for -n: Nat
79 for e: {1n+n == 0n : Nat}
80 Empty