Theorem Algebra.SubmersivePresentation.sectionCotangent_comp

Modification history