Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-03-18 18:29 1f4705cc

View on Github →

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

Estimated changes