Theorem RingHom.isStandardSmooth_localizationPreserves

Modification history