Theorem Algebra.SubmersivePresentation.sectionCotangent_zero_of_not_mem_range

Modification history