Theorem RingHom.isStandardSmooth_holdsForLocalizationAway

Modification history