Commit 2025-11-28 00:08 963c4846
View on Github →fix: restore multipliableUniformlyOn_iff_hasProdUniformlyOn (#32191)
Add back multipliableUniformlyOn_iff_hasProdUniformlyOn, which was accidentally removed while resolving a merge conflict in #31313.