[Merged by Bors] - feat(CategoryTheory/ComposableArrows): API for the composition of three arrows#33880

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

joelriou:spectral-sequences-3-composable-arrows-threejoelriou/mathlib4:spectral-sequences-3-composable-arrows-threeCopy head branch name to clipboard