Commit 2025-08-23 20:14 157be939
View on Github →chore(IntervalIntegrable/Basic): generalise typeclasses slightly (#28813) Discovered in #28803. Transitively part of the Carleson project, as this is about the enorm classes. While this PR is basically performance-neutral; transplanting this to #28803 speeds up the file by 20 * 10⁹ instructions.