Theorem Algebra.IsStandardSmoothOfRelativeDimension.rank_kaehlerDifferential

Modification history