Step * of Lemma abmonoid_inc

AbMon ⊆AbMon{[i j]}
BY
Auto }


Latex:


Latex:
AbMon  \msubseteq{}r  AbMon\{[i  |  j]\}


By


Latex:
Auto




Home Index