Step * of Lemma abdmonoid_dmon

AbDMon ⊆r DMon
BY
{ Auto }


Latex:


Latex:
AbDMon  \msubseteq{}r  DMon


By


Latex:
Auto




Home Index