---

Step * 1 of Lemma qexp-le-one


1. a : ℚ
2. (0 ≤ a) ∧ (a ≤ 1)
3. n : ℤ
⊢ 1 ≤ 1
BY
{ Auto }

---

Latex:

---

Latex:

1.  a  :  \mBbbQ{}
2.  (0  \mleq{}  a)  \mwedge{}  (a  \mleq{}  1)
3.  n  :  \mBbbZ{}
\mvdash{}  1  \mleq{}  1


By

---

Latex:
Auto

---

Home Index