law add_zero_r

minebender-game@1.0.0.0 · proof_cells.bend:541

import Base

541law add_zero_r:
542  for +a: Nat
543  for +b: Nat
544  for e: {Nat.add(a, b) == 0n : Nat}
545  {b == 0n : Nat}