Theorem continuous_of_locally_uniform_limit_of_continuous
Modification history
2020-04-06 15:34
src/topology/bounded_continuous_function.lean
feat(topology/bounded_continuous_function): composition of limits when uniform convergence (#2260) …
Deleted continuous_of_locally_uniform_limit_of_continuousView on Github →