---

Step * of Lemma qadd_minus

No Annotations
∀[r:ℚ]. ((r + -(r)) = 0 ∈ ℚ)
BY
{ (Intros THEN QArithOps ``qadd qmul`` THEN Auto) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[r:\mBbbQ{}].  ((r  +  -(r))  =  0)


By

---

Latex:
(Intros  THEN  QArithOps  ``qadd  qmul``  THEN  Auto)

---

Home Index