ContinuousMaps

📁 Source: Mathlib/Topology/MetricSpace/Ultra/ContinuousMaps.lean

Statistics

Metric	Count
Definitions	0
Theorems isUltrametricDist	1
Total	1

ContinuousMap

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
isUltrametricDist 📖	mathematical	—	IsUltrametricDist ContinuousMap UniformSpace.toTopologicalSpace PseudoMetricSpace.toUniformSpace MetricSpace.toPseudoMetricSpace PseudoMetricSpace.toDist instPseudoMetricSpace	—	dist_le le_max_of_le_left dist_nonneg LE.le.trans dist_triangle_max max_le_max dist_apply_le_dist

---

← Back to Index