Theorem HomologicalComplex.opcyclesMap_comp_descOpcycles

Modification history

2023-11-02 20:10
Mathlib/Algebra/Homology/ShortComplex/HomologicalComplex.lean
feat: functoriality of the homology of homological complexes (#8113)
Added HomologicalComplex.opcyclesMap_comp_descOpcyclesView on Github →