Theorem Algebra.PreSubmersivePresentation.cotangentComplexAux_apply

Modification history