PROOF 07
a − b = a + (−b)
On the integers ℤ.
Definition D1
a − b denotes the x satisfying x + b = a.
Proof.
Related labs