---

Step * of Lemma q-ineq-test

∀[a,b,c:ℚ].  (False) supposing (0 < c and ((b + ((1/3) * c)) ≤ a) and ((a + c + c) ≤ b))
BY
{ Auto }

1
1. a : ℚ
2. b : ℚ
3. c : ℚ
4. (a + c + c) ≤ b
5. (b + ((1/3) * c)) ≤ a
6. 0 < c
⊢ False

---

Latex:

---

Latex:
\mforall{}[a,b,c:\mBbbQ{}].    (False)  supposing  (0  <  c  and  ((b  +  ((1/3)  *  c))  \mleq{}  a)  and  ((a  +  c  +  c)  \mleq{}  b))


By

---

Latex:
Auto

---

Home Index