Strong convergence from weak convergence and tightness (source code)

= Strong convergence from weak convergence and tightness

If local compactness makes every subsequential local limit agree with the global weak limit and the $L^2$ mass is uniformly tight, weak convergence upgrades to strong convergence.