---

Step * of Lemma qminus-qsub

∀[r,s:ℚ].  (-(s - r) = (r - s) ∈ ℚ)
BY
{ xxx(Auto THEN QNorm 0)xxx }

---

Latex:

---

Latex:
\mforall{}[r,s:\mBbbQ{}].    (-(s  -  r)  =  (r  -  s))


By

---

Latex:
xxx(Auto  THEN  QNorm  0)xxx

---

Home Index