Ring isomorphism (source code)

= Ring isomorphism

A <ring isomorphism> is a bijective <ring homomorphism>. It preserves all <ring> operations and has a ring-homomorphic inverse.