---

Step * 1 of Lemma qabs-qminus


1. r : ℚ
⊢ |r| = (|-1| * |r|) ∈ ℚ
BY
{ QNorm 0 }

---

Latex:

---

Latex:

1.  r  :  \mBbbQ{}
\mvdash{}  |r|  =  (|-1|  *  |r|)


By

---

Latex:
QNorm  0

---

Home Index