Theorem RingHom.isStandardSmoothOfRelativeDimension_stableUnderCompositionWithLocalizationAway

Modification history