---

Step * of Lemma C_Array-elems_wf

∀[v:C_TYPE()]. C_Array-elems(v) ∈ C_TYPE() supposing ↑C_Array?(v)
BY
{ DepprodCoDatatypeSelectorWf }

---

Latex:


\mforall{}[v:C\_TYPE()].  C\_Array-elems(v)  \mmember{}  C\_TYPE()  supposing  \muparrow{}C\_Array?(v)


By

DepprodCoDatatypeSelectorWf

---

Home Index