Project-declaredLean 4.32.0
Exceptional set carleson
exceptional_set_carleson
Plain-language statement
Let be -periodic and belong to for some . Given thresholds , there is an index such that the set where the tail error exceeds has measure at most .
harmonic analysisFourier analysismeasure theory
Source project: Carleson formalization
Person-level attribution pending.