Commit 2024-07-24 15:28 600a4fca
View on Github →perf(PiTensorProduct/InjectiveSeminorm): squeeze slow simp (#15102) Find using the 'flexible tactics' linter, but this fix is independently useful. Speeds up a simp from 4 to 0.1 seconds.
perf(PiTensorProduct/InjectiveSeminorm): squeeze slow simp (#15102) Find using the 'flexible tactics' linter, but this fix is independently useful. Speeds up a simp from 4 to 0.1 seconds.