Theorem ContinuousMap.uniformContinuous_comp

Modification history

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