Step * of Lemma strict-fun_wf

StrictFun ∈ Type
BY
ProveWfLemma }


Latex:


Latex:
StrictFun  \mmember{}  Type


By


Latex:
ProveWfLemma




Home Index