---

Step * 1 1 of Lemma qmax-symmetry


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

---

Latex:

---

Latex:

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


By

---

Latex:
Auto

---

Home Index