Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-29 07:35 b535c2d5

View on Github →

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

Estimated changes

Modified src/algebra/homology/additive.lean

added theorem chain_complex.map_chain_complex_of

Modified src/algebra/homology/differential_object.lean

added theorem homological_complex.eq_to_hom_f'

deleted theorem homological_complex.eq_to_hom_f

Modified src/algebra/homology/homological_complex.lean

added theorem homological_complex.eq_to_hom_f

added theorem homological_complex.ext