---

Step * of Lemma not-qle

∀[q,r:ℚ].  ((¬(q ≤ r)) ⇒ r < q)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}[q,r:\mBbbQ{}].    ((\mneg{}(q  \mleq{}  r))  {}\mRightarrow{}  r  <  q)


By

---

Latex:
EAuto  1

---

Home Index