ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4395 on D3127: Weakly convergent sequence of unsigned basic measures
Pointwise convergence in characteristic distribution iff convergence in distribution