Theorem Algebra.SubmersivePresentation.sectionCotangent_eq_iff

Modification history