Step * of Lemma int-wf

ℤ ∈ Type
BY
Auto }


Latex:


Latex:
\mBbbZ{}  \mmember{}  Type


By


Latex:
Auto




Home Index