---

Step * 1 of Lemma qabs-zero


1. r : ℚ
2. r = 0 ∈ ℚ
⊢ |r| = 0 ∈ ℚ
BY
{ xxx(HypSubst' -1 0 THEN Auto)xxx }

---

Latex:

---

Latex:

1.  r  :  \mBbbQ{}
2.  r  =  0
\mvdash{}  |r|  =  0


By

---

Latex:
xxx(HypSubst'  -1  0  THEN  Auto)xxx

---

Home Index