law sub_zero

minebender-game@1.0.0.0 · proof_base.bend:137

import Base

137law sub_zero:
138  for +i: Nat
139  {Nat.sub(i, 0n) == i : Nat}