Theorem continuous_of_uniform_approx_of_continuous

Modification history