Theorem Metric.isSeparated_zero

Modification history

2025-12-19 15:12
Mathlib/Topology/MetricSpace/MetricSeparated.lean
feat: API lemmas for covering and packing numbers (#33090) …
Added Metric.isSeparated_zeroView on Github →