Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-10-01 02:05 2a543b0d

View on Github →

perf(algebraic_topology/simplicial_object): Speedup simplicial_cosimplicial_augmented_equiv (#16729) Use equivalence.mk rather than equivalence.mk'. Restrict the simps to functor and inverse. This roughly speeds everything up by a factor of 2.

Estimated changes