Assertion: isomorphism's inverse | /r/HasProperty | a homomorphism of groups
Facets:
Source sentences:
text: is injective, surjective and is a homomorphism of groups is a homomorphism of groups, and it has a two-sided inverse that is also a homomorphism of groups