---

Step * of Lemma interleaved_family_wf

∀[T,I:Type]. ∀[L:I ⟶ (T List)]. ∀[L2:T List].  (interleaved_family(T;I;L;L2) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[T,I:Type].  \mforall{}[L:I  {}\mrightarrow{}  (T  List)].  \mforall{}[L2:T  List].    (interleaved\_family(T;I;L;L2)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index