Theorem RingHom.isStandardSmooth_stableUnderBaseChange

Modification history