law sub_zero
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
345law sub_zero:
346 for +i: Nat
347 {Nat.sub(i, 0n) == i : Nat}
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
345law sub_zero:
346 for +i: Nat
347 {Nat.sub(i, 0n) == i : Nat}