[Merged by Bors] - feat(Algebra/Homology/SpectralObject): cycles as cokernels and opcycles as kernels#35361

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

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