Theorem CategoryTheory.Abelian.exact_iff'

Modification history

2024-07-09 18:31

Mathlib/CategoryTheory/Abelian/Exact.lean

refactor: removing the old homology API (#14569) …

Deleted CategoryTheory.Abelian.exact_iff'View on Github →

2023-05-01 17:47

Mathlib/CategoryTheory/Abelian/Exact.lean

feat: port CategoryTheory.Abelian.Exact (#3638)

Added CategoryTheory.Abelian.exact_iff'View on Github →