feat(CategoryTheory/Triangulated/TStructure): properties of truncations indexed by EInt that use the octahedron axiom#35369

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

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