Step
*
of Lemma
abdgrp_properties
∀[g:AbDGrp]. IsEqFun(|g|;=
b
)
BY
{ ProvePropertiesLemma }
Latex:
Latex:
\mforall{}[g:AbDGrp].  IsEqFun(|g|;=\msubb{})
By
Latex:
ProvePropertiesLemma
Home
Index