---

Step * of Lemma qdiv-one

∀[q:ℚ]. ((q/1) = q ∈ ℚ)
BY
{ Auto }

1
1. q : ℚ
⊢ (q/1) = q ∈ ℚ

---

Latex:

---

Latex:
\mforall{}[q:\mBbbQ{}].  ((q/1)  =  q)


By

---

Latex:
Auto

---

Home Index