Step * of Lemma mon_wf

Mon ∈ 𝕌'
BY
Unfold `mon` THEN Auto }


Latex:


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


By


Latex:
Unfold  `mon`  0  THEN  Auto




Home Index