Theorem EMetric.isUniformInducing_iff

Modification history

2026-08-13 16:41
Mathlib/Topology/EMetricSpace/Basic.lean
feat(Topology): generalize basic files to `Weak(Pseudo)EMetricSpace` (#42688) …
Modified EMetric.isUniformInducing_iffView on Github →
2024-10-08 15:03
Mathlib/Topology/EMetricSpace/Basic.lean
chore: Rename `UniformInducing` to `IsUniformInducing` (#17398) …
Added EMetric.isUniformInducing_iffView on Github →