Commit 2025-03-04 19:24 6befc632

feat(Algebra/Homology/Embedding): homological properties of canonical truncations on cochain complexes (#19579) We study the (co)homological properties of the canonical truncations truncGE and truncLE on cochain complexes. After this PR, the next target shall be the fact that any abelian category embeds in its derived category as a full subcategory, which is the first step in order to make the computations with Ext-groups. Another application shall be the construction of the canonical t-structure on the derived category of an abelian category.