Theorem RingHom.isStandardSmoothOfRelativeDimension_holdsForLocalizationAway

Modification history