Theorem CategoryTheory.Iso.commRingIsoToRingEquiv_toRingHom

Modification history