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