---

Step * 1 1 of Lemma qmin-symmetry


1. x : ℚ
2. y : ℚ
3. y < x
4. x < y
⊢ y = x ∈ ℚ
BY
{ Auto }

---

Latex:

---

Latex:

1.  x  :  \mBbbQ{}
2.  y  :  \mBbbQ{}
3.  y  <  x
4.  x  <  y
\mvdash{}  y  =  x


By

---

Latex:
Auto

---

Home Index