Non-trivial error in physics paper found via Lean
Posted 4 hours ago by
leanexplorer
4
points
https://arxiv.org/abs/2603.08139
1
comments
Loading..