An explicit lower bound for the unit distance problem

(arxiv.org) by rvz | May 21, 2026 | 0 comments on HN