Diagonal subsequence for locally uniform convergence (source code)

= Diagonal subsequence for locally uniform convergence

If successive subsequences converge uniformly on an exhaustion $K_1\subset K_2\subset\cdots$, the diagonal sequence converges uniformly on every fixed $K_m$, hence locally uniformly on their union.