Theorem IsMetricSeparated.mono

Modification history

2023-03-04 10:29

Mathlib/Topology/MetricSpace/MetricSeparated.lean

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

Added IsMetricSeparated.mono View on Github →