[Merged by Bors] - feat(Algebra/Homology): exact sequences with four terms#33437

joelriou wants to merge 6 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

joelriou:exact-sequence-fourjoelriou/mathlib4:exact-sequence-fourCopy head branch name to clipboard