Step
*
of Lemma
abdmonoid_wf
AbDMon ∈ 𝕌'
BY
{ Unfold `abdmonoid` 0 THEN Auto⋅ }
Latex:
Latex:
AbDMon  \mmember{}  \mBbbU{}'
By
Latex:
Unfold  `abdmonoid`  0  THEN  Auto\mcdot{}
Home
Index