Theorem RingHom.isStandardSmooth_stableUnderCompositionWithLocalizationAway

Modification history