Step * of Lemma int_nzero_wf

-o ∈ Type
BY
ProveWfLemma }


Latex:


Latex:
\mBbbZ{}\msupminus{}\msupzero{}  \mmember{}  Type


By


Latex:
ProveWfLemma




Home Index