[Merged by Bors] - feat(CategoryTheory/Triangulated/TStructure): extensions of truncations to the extended integers#35368

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

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