law zero_ne_succ
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
118law zero_ne_succ:
119 for -n: Nat
120 for e: {0n == 1n+n : Nat}
121 Empty
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
118law zero_ne_succ:
119 for -n: Nat
120 for e: {0n == 1n+n : Nat}
121 Empty