---

Step * of Lemma iseg_weakening

∀[T:Type]. ∀l:T List. l ≤ l
BY
{ (((Unfold `iseg` 0 THEN Auto) THEN InstConcl [[]]) THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[T:Type].  \mforall{}l:T  List.  l  \mleq{}  l


By

---

Latex:
(((Unfold  `iseg`  0  THEN  Auto)  THEN  InstConcl  [[]])  THEN  Auto)

---

Home Index