Theorem CategoryTheory.Iso.commRingIsoToRingEquiv_symm_toRingHom

Modification history