Commit 2026-02-17 19:03 4e65dadd
View on Github →chore(MetricSpace/Antilipschitz): the antilipschitz constant is positive for nontrivial metric spaces (#35227) A simple lemma which is essentially the converse of the previous, but can be useful in practice.