Commit 2025-11-28 17:46 5d5418c0

View on Github →

chore: rename E to 𝕜 in file TsumUniformlyOn (#32216) This single deviation from our usual conventions cost me an embarrassing amount of time (not realising domain was one-dimensional).

Estimated changes