feat(Algebra/Homology/SpectralObject): construction of the objects on the pages of the spectral sequence#35378

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

joelriou:spectral-sequences-2-page-1joelriou/mathlib4:spectral-sequences-2-page-1Copy head branch name to clipboard