Mathlib v3 is deprecated. Go to Mathlib v4

Def chain_complex.of_hom

Modification history

2021-05-15 08:16
src/algebra/homology/homological_complex.lean
feat(algebraic_topology): the Moore complex of a simplicial object (#6308) …
Added chain_complex.of_homView on Github →