Theorem CategoryTheory.Iso.commRingIsoToRingEquiv_apply

Modification history