Theorem RingHom.isStandardSmoothOfRelativeDimension_respectsIso

Modification history