[Merged by Bors] - feat(CategoryTheory/ObjectProperty): various additions#33883

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

joelriou:spectral-sequences-3-object-propertyjoelriou/mathlib4:spectral-sequences-3-object-propertyCopy head branch name to clipboard