---

Step * 1 of Lemma circle-param_wf


1. t : ℝ
2. r0 ≤ (t * t)
3. r1 ≤ (r1 + (t * t))
4. r0 < (r1 + (t * t))
⊢ circle-param(t) ∈ ℝ^2
BY
{ ProveWfLemma }

---

Latex:

---

Latex:

1.  t  :  \mBbbR{}
2.  r0  \mleq{}  (t  *  t)
3.  r1  \mleq{}  (r1  +  (t  *  t))
4.  r0  <  (r1  +  (t  *  t))
\mvdash{}  circle-param(t)  \mmember{}  \mBbbR{}\^{}2


By

---

Latex:
ProveWfLemma

---

Home Index