Step * of Lemma mon_nat_op_wf2

[g:IMonoid]. ∀[n:|(<ℤ+>↓hgrp)|]. ∀[e:|g|].  (n ⋅ e ∈ |g|)
BY
Auto }


Latex:


Latex:
\mforall{}[g:IMonoid].  \mforall{}[n:|(<\mBbbZ{}+>\mdownarrow{}hgrp)|].  \mforall{}[e:|g|].    (n  \mcdot{}  e  \mmember{}  |g|)


By


Latex:
Auto




Home Index