Theorem Algebra.SubmersivePresentation.free_kaehlerDifferential

Modification history