Theorem CategoryTheory.Iso.semiRingCatIsoToRingEquiv_toRingHom

Modification history