---

Step * of Lemma qless-witness

No Annotations
∀[a,b:ℚ].  ⋅ ∈ a < b supposing a < b
BY
{ Auto }

1
1. a : ℚ
2. b : ℚ
3. a < b
⊢ ⋅ ∈ a < b

---

Latex:

---

Latex:
No  Annotations
\mforall{}[a,b:\mBbbQ{}].    \mcdot{}  \mmember{}  a  <  b  supposing  a  <  b


By

---

Latex:
Auto

---

Home Index