Commit 2025-01-31 12:56 a9d767fb
View on Github →perf(MeasureTheory/Function/LpSpace.lean): speed up (#21179) Squeeze a few particularly slow simps, and add a comment about them. Remove two slightly slow convert's; simpa resp. exact also works and is in fact faster.