Theorem CochainComplex.exists_iso_single

Modification history

2025-03-04 19:24
Mathlib/Algebra/Homology/Embedding/CochainComplex.lean
feat(Algebra/Homology/Embedding): homological properties of canonical truncations on cochain complexes (#19579) …
Modified CochainComplex.exists_iso_singleView on Github →
2025-01-23 05:40
Mathlib/Algebra/Homology/Embedding/CochainComplex.lean
feat(Algebra/Homology/Embedding): canonical truncations on `CochainComplex` (#19578) …
Added CochainComplex.exists_iso_singleView on Github →