Theorem ContinuousMap.uniformInducing_comp

Modification history

2024-10-08 15:03
Mathlib/Topology/UniformSpace/CompactConvergence.lean
chore: Rename `UniformInducing` to `IsUniformInducing` (#17398) …
Deleted ContinuousMap.uniformInducing_compView on Github →
2024-05-23 13:06
Mathlib/Topology/UniformSpace/CompactConvergence.lean
feat: functoriality of ContinuousMap in uniform spaces (#13019)
Added ContinuousMap.uniformInducing_compView on Github →