Theorem Algebra.SubmersivePresentation.cotangentComplexAux_surjective

Modification history