Step
*
of Lemma
abmonoid_cumulative
AbMon ⊆r AbMon{[i | j]}
BY
{ Auto }
Latex:
Latex:
AbMon  \msubseteq{}r  AbMon\{[i  |  j]\}
By
Latex:
Auto
Home
Index