Theorem Algebra.SubmersivePresentation.basisCotangent_apply

Modification history