Step
*
of Lemma
MMTreeco_wf
∀[T:Type]. (MMTreeco(T) ∈ Type)
BY
{ ProveWfLemma }
Latex:
\mforall{}[T:Type].  (MMTreeco(T)  \mmember{}  Type)
By
ProveWfLemma
Home
Index