Theorem CategoryTheory.Preadditive.exact_iff_homology'_zero

Modification history