Step
*
1
of Lemma
posint_is_ufm
Cancel(|<ℤ
+
,*>|;|<ℤ
+
,*>|;*)
BY
{ ((BLemma `posint_cancel`) THEN Auto) }
Latex:
Latex:
Cancel(|<\mBbbZ{}\msupplus{},*>|;|<\mBbbZ{}\msupplus{},*>|;*)
By
Latex:
((BLemma `posint\_cancel`) THEN Auto)
Home
Index