Theorem CochainComplex.quasiIsoAt_πTruncGE

Modification history

2026-03-02 23:05
Mathlib/Algebra/Homology/Embedding/CochainComplex.lean
feat(Algebra/Homology): lemmas and instances for truncation of cochain complexes (#35936)
Added CochainComplex.quasiIsoAt_πTruncGEView on Github →