Step * of Lemma abmonoid_wf

AbMon ∈ 𝕌'
BY
Unfold `abmonoid` THEN Auto⋅ }


Latex:


Latex:
AbMon  \mmember{}  \mBbbU{}'


By


Latex:
Unfold  `abmonoid`  0  THEN  Auto\mcdot{}




Home Index