Step
*
of Lemma
abdgrp_wf
AbDGrp ∈ 𝕌'
BY
{ Unfold `abdgrp` 0 THEN Auto }
Latex:
Latex:
AbDGrp  \mmember{}  \mBbbU{}'
By
Latex:
Unfold  `abdgrp`  0  THEN  Auto
Home
Index