Commit 2026-04-13 23:01 b82deb8e
View on Github →perf(Analysis/Normed/Group): lower instance priorities (#37962)
This PR improves performance by lowering the priority of some normed instances.
The idea is that when looking for algebraic instances, searching in the Normed hierarchy is likely to be expensive and not useful.