Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_topology.normalized_Moore_complex.d_squared

Modification history

2021-05-15 08:16
src/algebraic_topology/Moore_complex.lean
feat(algebraic_topology): the Moore complex of a simplicial object (#6308) …
Added algebraic_topology.normalized_Moore_complex.d_squaredView on Github →