Non-trivial error in physics paper found via Lean

1 comments

• leanexplorer 11 hours ago
  Code part of the project PhysLib (formerly PhysLean) - physics version of the project Mathlib.

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