mathlib3
1f4705cc - perf(group_theory/torsion): Speedup `torsion_mul_equiv` (#18614)

Commit

2 years ago

perf(group_theory/torsion): Speedup `torsion_mul_equiv` (#18614) From 17s to 0.1s on my gitpod.

Author

YaelDillies

Parents