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

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