Theorem HomologicalComplex.truncGE'_d_eq_fromOpcycles

Modification history

2024-07-26 08:26
Mathlib/Algebra/Homology/Embedding/TruncGE.lean
feat(Algebra/Homology): the canonical truncation `truncGE` (#14734) …
Added HomologicalComplex.truncGE'_d_eq_fromOpcyclesView on Github →