Def CategoryTheory.Iso.semiRingCatIsoToRingEquiv

Modification history