---

Step * 1 1 of Lemma qdiv-one


1. q : ℚ
2. (1 * (q/1)) = q ∈ ℚ
⊢ (q/1) = q ∈ ℚ
BY
{ xxx(QNorm (-1) THEN Auto)xxx }

---

Latex:

---

Latex:

1.  q  :  \mBbbQ{}
2.  (1  *  (q/1))  =  q
\mvdash{}  (q/1)  =  q


By

---

Latex:
xxx(QNorm  (-1)  THEN  Auto)xxx

---

Home Index