law sub_self

minebender-game@1.0.0.0 · proof_gen.bend:256

import Base

256law sub_self:
257  for +a: Nat
258  {Nat.sub(a, a) == 0n : Nat}