mathlib

2a543b0d - perf(algebraic_topology/simplicial_object): Speedup `simplicial_cosimplicial_augmented_equiv` (#16729)

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.