Theorem Algebra.SubmersivePresentation.cotangentComplex_injective

Modification history