Mathlib v3 is deprecated. Go to Mathlib v4

Theorem homological_complex.eq_to_hom_f

Modification history

2022-03-29 07:35
src/algebra/homology/differential_object.lean
feat(algebra/homology): three lemmas on homological complexes (#12742)
Modified homological_complex.eq_to_hom_fView on Github →
2021-12-22 21:32
src/algebra/homology/differential_object.lean
refactor(*): Random lemmas and modifications from the shifting refactor. (#10940)
Added homological_complex.eq_to_hom_fView on Github →
2021-05-11 07:41
src/algebra/homology/chain_complex.lean
feat(algebra/homology): redesign of homological complexes (#7473) …
Deleted homological_complex.eq_to_hom_fView on Github →
2021-02-23 14:09
src/algebra/homology/chain_complex.lean
feat(chain_complex): lemmas about eq_to_hom (#6250) …
Added homological_complex.eq_to_hom_fView on Github →