Step
*
of Lemma
mFOLco_wf
mFOLco() ∈ Type
BY
{ ProveWfLemma }
Latex:
mFOLco()  \mmember{}  Type
By
ProveWfLemma
Home
Index