Theorem CategoryTheory.Retract.projective

Modification history

2026-03-15 08:40
Mathlib/CategoryTheory/Preadditive/Projective/Basic.lean
feat(Homology): add lemma about injective/projective dimension (#36632) …
Added CategoryTheory.Retract.projectiveView on Github →