Theorem RingHom.isStandardSmooth_respectsIso

Modification history