Theorem Algebra.SubmersivePresentation.sectionCotangent_zero_of_notMem_range

Modification history