law add_zero_l

minebender-game@1.0.0.0 · proof_cells.bend:528

import Base

528law add_zero_l:
529  for +a: Nat
530  for +b: Nat
531  for e: {Nat.add(a, b) == 0n : Nat}
532  {a == 0n : Nat}