Theorem Algebra.PreSubmersivePresentation.cotangentComplexAux_zero_iff

Modification history