Non-trivial error in physics paper found via Lean

(arxiv.org) by leanexplorer | Mar 22, 2026 | 0 comments on HN