Lévy's continuity theorem (source code)

= Lévy's continuity theorem
{c}
{wiki}

= Characteristic-function convergence theorem
{synonym}

Pointwise convergence of characteristic functions to a function continuous at zero implies convergence in distribution.