Description: A ring isomorphism is a homomorphism. Compare gimghm . (Contributed by AV, 22-Oct-2019) Remove hypotheses. (Revised by SN, 10-Jan-2025)