Theorem CategoryTheory.ShortComplex.Exact.comp_descToInjective

Modification history