Non-trivial error in physics paper found via Lean

by leanexplorer | View on Hacker News