Assertion: ring isomorphism | /r/HasProperty | a ring homomorphism
Facets:
Source sentences:
text: A ring isomorphism is a ring homomorphism having a 2-sided inverse that is also a ring homomorphism.