Theorems
Limit theorem of de Moivre-Laplace
The smoothing function occuring in hyperasymptotic expansions across Stokes lines