mathlib3
dd1f8496 - feat(algebraic_topology/dold_kan): the inverse functor of the Dold-Kan equivalence (#17607)

Commit

3 years ago

feat(algebraic_topology/dold_kan): the inverse functor of the Dold-Kan equivalence (#17607) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>

Author

joelriou

Parents

f1a2caaf

mathlib3 dd1f8496 - feat(algebraic_topology/dold_kan): the inverse functor of the Dold-Kan equivalence (#17607)

mathlib3
dd1f8496 - feat(algebraic_topology/dold_kan): the inverse functor of the Dold-Kan equivalence (#17607)