Theorem bounded_continuous_function.equicontinuous_of_continuity_modulus
Modification history
2022-12-06 14:57
src/topology/continuous_function/bounded.lean
feat(topology/uniform_space/equicontinuity): definition and basic properties of [uniform] equicontinuity (#16467)
Deleted bounded_continuous_function.equicontinuous_of_continuity_modulusView on Github →