Step
*
of Lemma
mfol-context_wf
mfol-context() ∈ Type
BY
{ ProveWfLemma }
Latex:
mfol-context()  \mmember{}  Type
By
ProveWfLemma
Home
Index