Theorem Algebra.Generators.exact_cotangentComplex_toKaehler

Modification history