Theorem ContinuousMap.uniformContinuous_comp_left

Modification history

2024-05-23 13:06
Mathlib/Topology/UniformSpace/CompactConvergence.lean
feat: functoriality of ContinuousMap in uniform spaces (#13019)
Added ContinuousMap.uniformContinuous_comp_leftView on Github →