Commit 2025-12-02 08:46 b106e92b
View on Github →chore: avoid unbracketed by within suffices (#32342)
This is a preparatory PR which will allow us to increase the precedence of the by notation.
The issue is that the suffices A by .../suffices A from ... notation can get confused, if A contains an unbracketed by.