Commit 2024-10-14 06:05 5d2ccbb3
View on Github →chore: weaken typeclass assumptions MetricSpace
→ PseudoMetricSpace
(#17520)
Discovered through the linter in #17519 (but in fact not related to it).
chore: weaken typeclass assumptions MetricSpace
→ PseudoMetricSpace
(#17520)
Discovered through the linter in #17519 (but in fact not related to it).