Theorem ModuleCat.homology_ext'

Modification history

2023-10-27 14:12

Mathlib/Algebra/Homology/ModuleCat.lean

refactor: introduce the new homology API for homological complex and rename the old one (#7954) …

Deleted ModuleCat.homology_ext'View on Github →

2023-06-14 07:51

Mathlib/Algebra/Homology/ModuleCat.lean

feat: port Algebra.Homology.Module (#5000)

Added ModuleCat.homology_ext'View on Github →