Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.ShortComplex.LeftHomologyData.exact_map_iff
Modification history
2023-10-20 14:35
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
feat: exactness for short complexes coincides with CategoryTheory.Exact (#7280)
Added
CategoryTheory.ShortComplex.LeftHomologyData.exact_map_iff
View on Github →