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.