Commit 2026-03-15 08:40 89178908
View on Github →feat(Homology): add lemma about injective/projective dimension (#36632)
In this PR, we add the instance HasProjectiveDimensionLT X 1 => Projective X and the injective analogues.
We also added the interaction of Projective and Injective with Retract.