Theorem CategoryTheory.ProjectiveResolution.exact_succ

Modification history

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