Theorem CategoryTheory.Retract.injective

Modification history

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