Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-15 21:20 65e76465

View on Github →

feat(algebraic_topology): cosimplicial objects (#7614) Dualize the existing API for simplicial_object to provide cosimplicial_object, and move the contents of LTE's for_mathlib/simplicial/augmented.lean to mathlib.

Estimated changes