Mathlib v3 is deprecated. Go to Mathlib v4

Def chain_complex

Modification history

2021-05-18 04:50
src/algebra/homology/homological_complex.lean
feat(logic/is_empty): Add is_empty typeclass (#7606) …
Modified chain_complexView on Github →
2021-05-11 07:41
src/algebra/homology/chain_complex.lean
feat(algebra/homology): redesign of homological complexes (#7473) …
Modified chain_complexView on Github →
2020-03-26 00:32
src/algebra/homology/chain_complex.lean
feat(algebra/homology): chain complexes (#2174) …
Added chain_complexView on Github →