Step
*
of Lemma
ocmon_subtype_abdmonoid
OCMon ⊆r AbDMon
BY
{ (D 0⋅ THEN Auto) }
Latex:
Latex:
OCMon  \msubseteq{}r  AbDMon
By
Latex:
(D  0\mcdot{}  THEN  Auto)
Home
Index