Commit 2025-03-19 20:23 baaefda0
View on Github →feat: metric-separated sets (#23110)
For ε : ℝ≥0∞, define ε-separated sets as those sets s for which the distance between any two points of s is at least ε.
From my PhD (MiscYD)
feat: metric-separated sets (#23110)
For ε : ℝ≥0∞, define ε-separated sets as those sets s for which the distance between any two points of s is at least ε.
From my PhD (MiscYD)