Mathlib v3 is deprecated. Go to Mathlib v4

Theorem chain_complex.map_chain_complex_of

Modification history

2022-03-29 07:35

src/algebra/homology/additive.lean

feat(algebra/homology): three lemmas on homological complexes (#12742)

Added chain_complex.map_chain_complex_of View on Github →