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