Theorem Algebra.IsStandardSmoothOfRelativeDimension.isStandardSmooth

Modification history