Theorem Algebra.SubmersivePresentation.cotangentComplexAux_injective

Modification history