Theorem CategoryTheory.InjectiveResolution.exact_succ

Modification history

2024-07-09 09:09
Mathlib/CategoryTheory/Preadditive/InjectiveResolution.lean
chore: add missing spaces around = or := (#14554) …
Modified CategoryTheory.InjectiveResolution.exact_succView on Github →
2023-11-30 20:26
Mathlib/CategoryTheory/Preadditive/InjectiveResolution.lean
refactor(Algebra/Homology): use the new homology API (#8706) …
Modified CategoryTheory.InjectiveResolution.exact_succView on Github →
2023-11-28 14:52
Mathlib/CategoryTheory/Preadditive/InjectiveResolution.lean
refactor: use the new homology API for right derived functors (#8593) …
Added CategoryTheory.InjectiveResolution.exact_succView on Github →