Theorem CategoryTheory.ShortComplex.moduleCat_zero_apply

Modification history