Theorem Algebra.SubmersivePresentation.rank_kaehlerDifferential

Modification history