Theorem HomologicalComplex.isoHomologyπ_hom_inv_id

Modification history

2023-11-04 08:45
Mathlib/Algebra/Homology/ShortComplex/HomologicalComplex.lean
feat: homology of chain complexes in degree 0 (#8169)
Added HomologicalComplex.isoHomologyπ_hom_inv_idView on Github →