Gallagher's singular series result: gallagher
GPY lemmas: gpy_perron
GPY lemmas: gpy_double_integral
The Plünnecke-Petridis inequality: pluennecke_petridis
Sumsets and additive energy: basic_sumset_bounds