Theorem Metric.controlled_of_isUniformInducing

Modification history

2026-04-02 11:54
Mathlib/Topology/MetricSpace/Pseudo/Basic.lean
feat(Topology/EMetricSpace/Basic): generalize lemma (#37529) …
Added Metric.controlled_of_isUniformInducingView on Github →