law add_cancel_l

minebender-game@1.0.0.0 · proof_gen.bend:850

import Base

850law add_cancel_l:
851  for +c: Nat
852  for +a: Nat
853  for +b: Nat
854  for e: {Nat.add(c, a) == Nat.add(c, b) : Nat}
855  {a == b : Nat}