Theorem Algebra.Generators.cotangentComplex_mk

Modification history