« uniform convergence allows switching limits
default
nord
catppuccin
serena
Proof.
sketch
[br711A]
Omitted.