ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4392 on D3127: Weakly convergent sequence of unsigned basic measures
Weak convergence of finite unsigned euclidean real Borel measures iff pointwise convergence in Fourier transforms