Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex_shape.down_mk

Modification history

2022-05-09 02:37
src/algebra/homology/complex_shape.lean
feat(algebraic_topology/dold_kan): defining some null homotopic maps (#13085)
Added complex_shape.down_mkView on Github →