mathlib

ec01a0d5 - perf(tactic/lint/simp): speed up `simp_comm` linter (#2760)

perf(tactic/lint/simp): speed up `simp_comm` linter (#2760) This is a fairly unimportant linter, but takes 35% of the linting runtime in my unscientific small-case profiling run.