Mathlib v3 is deprecated. Go to Mathlib v4

Theorem homological_complex.ext

Modification history

2022-03-29 07:35

src/algebra/homology/homological_complex.lean

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

Added homological_complex.ext View on Github →