Step * of Lemma abmonoid_properties

[g:AbMon]. Comm(|g|;*)
BY
ProvePropertiesLemma }


Latex:


Latex:
\mforall{}[g:AbMon].  Comm(|g|;*)


By


Latex:
ProvePropertiesLemma




Home Index