[Merged by Bors] - feat(Algebra/Homology): functoriality of extMk with respect to the injective resolution#33360
Closed
joelriou wants to merge 113 commits intoleanprover-community:masterfrom
Closed
Commits
Commits on Nov 20, 2025
- committed
- committed
- committed
- committed
Commits on Nov 21, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Nov 22, 2025
Commits on Nov 23, 2025
Commits on Nov 24, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Nov 25, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 26, 2025
Commits on Nov 27, 2025
Commits on Nov 29, 2025
Commits on Dec 4, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 11, 2025
Commits on Dec 12, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 21, 2025
Commits on Dec 23, 2025
- andauthored
- andauthored
- committed
- committed
- committed
- committed
Commits on Dec 26, 2025
Commits on Dec 27, 2025
Commits on Dec 28, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 2, 2026
Commits on Jan 3, 2026
- committed
- committed
- committed
- committed