law succ_ne_zero
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
109law succ_ne_zero:
110 for -n: Nat
111 for e: {1n+n == 0n : Nat}
112 Empty
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
109law succ_ne_zero:
110 for -n: Nat
111 for e: {1n+n == 0n : Nat}
112 Empty