Theorem HomologicalComplex.isIso_πTruncGE_iff

Modification history

2025-03-04 19:24
Mathlib/Algebra/Homology/Embedding/TruncGE.lean
feat(Algebra/Homology/Embedding): homological properties of canonical truncations on cochain complexes (#19579) …
Added HomologicalComplex.isIso_πTruncGE_iffView on Github →