Theorem IsMetricSeparated.comm

Modification history

2023-03-04 10:29

Mathlib/Topology/MetricSpace/MetricSeparated.lean

feat: port Topology.MetricSpace.MetricSeparated (#2608)

Added IsMetricSeparated.comm View on Github →