Step
*
of Lemma
abmonoid_subtype_iabmonoid
AbMon ⊆r IAbMonoid
BY
{ Auto }
Latex:
Latex:
AbMon  \msubseteq{}r  IAbMonoid
By
Latex:
Auto
Home
Index