Theorem continuousOn_of_uniform_approx_of_continuousOn

Modification history