Mathlib v3 is deprecated. Go to Mathlib v4

Theorem chain_complex.of_d_ne

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_d_neView on Github →