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)
Added homological_complex.eq_to_hom_f'View on Github →