Full tail uniformity - #207

Open

pink-iguana wants to merge 12 commits into

teorth:mainfrom

pink-iguana:full-tail-uniformity

Commits on Aug 17, 2026

Added an operation analogue of upper semicontinuity as it does not seem to be provable in its most general form at present without changing definitions
pink-iguana
committed
c628935
Refactored a number of earlier results
pink-iguana
committed
a9c15f5
Extraced bump function related results from L2Integral to another file
pink-iguana
committed
940e9df
Added a structure to represent the conditions in the non asymptotic definition of beta and improve readability
pink-iguana
committed
5fbf2f5
Added proof of Lemma 4.5 upper semicontinuity of beta
pink-iguana
committed
92be5a9
Significant refactoring
pink-iguana
committed
fa148cf
Linking the blueprint to the actual lemma rather than intermediate results
pink-iguana
committed
adda0b5
Updated docstring
pink-iguana
committed
1d50d9a
Restored the blueprint proof of Lemma 4.5 (removed the additional explanation)
pink-iguana
committed
9ff80bc
Renamed Oscillatory to FixedExponentialSum and corresponding changes in other files
pink-iguana
committed
cc20051

Commits on Aug 19, 2026