Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-12-08 06:57 4dc134b9

View on Github →

feat(algebraic_topology/dold_kan): starting the definition of the unit isomorphism of the Dold-Kan equivalence (#17638)

Estimated changes