Step * of Lemma int_termco_wf

int_termco() ∈ Type
BY
ProveWfLemma }


Latex:


Latex:
int\_termco()  \mmember{}  Type


By


Latex:
ProveWfLemma




Home Index