Mathlib v3 is deprecated. Go to Mathlib v4

Def cochain_complex.induced_map_on_cycles

Modification history

2020-04-07 19:50
src/algebra/homology/homology.lean
feat(algebra/homology): functoriality of induced maps on cycles (#2338) …
Deleted cochain_complex.induced_map_on_cyclesView on Github →
2020-03-26 00:32
src/algebra/homology/homology.lean
feat(algebra/homology): chain complexes (#2174) …
Added cochain_complex.induced_map_on_cyclesView on Github →