Theorem CategoryTheory.ShortComplex.Exact.moduleCat_range_eq_ker

Modification history