feat(ClassicalMechanics): add the total kinetic energy and prove the König decomposition - #1401

feat(ClassicalMechanics): add the total kinetic energy and prove the König decomposition#1401

jstoobysmith merged 4 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

giuseppesorge:rigidbody-koeniggiuseppesorge/physlib:rigidbody-koenigCopy head branch name to clipboard