Theorem CategoryTheory.ShortComplex.moduleCat_exact_iff

Modification history