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