Commit 2025-11-04 09:42 22a8ffdd

feat: Ixx summation filters (#30380) We prove some results about sums over intervals of the form Ixx which are needed for defining the Eisenstein series E2 (see #26014). We also define these as summation filters.