Step * of Lemma mFOLRule_wf

mFOLRule() ∈ Type
BY
ProveWfLemma }


Latex:


mFOLRule()  \mmember{}  Type


By

ProveWfLemma




Home Index