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.