Structure CategoryTheory.ProjectiveResolution

Modification history

2023-05-01 20:06

Mathlib/CategoryTheory/Preadditive/ProjectiveResolution.lean

feat: port CategoryTheory.Preadditive.ProjectiveResolution (#3740)

Added CategoryTheory.ProjectiveResolution View on Github →