Assertion: group isomorphism | /r/HasProperty | bijective function
Facets:
Source sentences:
text: Spelled out, this means that a group isomorphism is a bijective function f : G → H {