(Theorem) The limit of a uniformly convergent sequence of continuous functions is continuous

Theorem (Munkres 21.6): Uniform limit

Let $f_n:X\to Y$ be a sequence of continuous functions from the topological space $X$ to the metric space $Y$. If $(f_n)$ converges uniformly to $f$, then $f$ is continuous.

#wip