---

Step * 1 of Lemma qmul-ident-div


1. r : ℚ
2. s : ℚ
3. ¬(r = 0 ∈ ℚ)
⊢ (1 * s) = s ∈ ℚ
BY
{ xxxQNorm 0xxx }

---

Latex:

---

Latex:

1.  r  :  \mBbbQ{}
2.  s  :  \mBbbQ{}
3.  \mneg{}(r  =  0)
\mvdash{}  (1  *  s)  =  s


By

---

Latex:
xxxQNorm  0xxx

---

Home Index