[Merged by Bors] - feat(Algebra/Homology): a homology data from an epi-mono factorization#33875

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

joelriou:spectral-sequences-3-shortcomplex-abelianjoelriou/mathlib4:spectral-sequences-3-shortcomplex-abelianCopy head branch name to clipboard