Theorem RingHom.isStandardSmooth_isStableUnderBaseChange

Modification history