Step
*
of Lemma
istype-int
istype(ℤ)
BY
{ TACTIC:Auto }
Latex:
Latex:
istype(\mBbbZ{})
By
Latex:
TACTIC:Auto
Home
Index