Theorem RingHom.isStandardSmooth_stableUnderComposition

Modification history