Non-trivial error in physics paper found via Lean

1 comments

• leanexplorer 8 hours ago

  Code part of the project PhysLib (formerly PhysLean) - physics version of the project Mathlib.

  https://github.com/leanprover-community/physlib