feat(ClassicalMechanics): add the angular velocity vector of a rigid body#1363

jstoobysmith merged 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

giuseppesorge:rigidbody-angular-velocity-vectorgiuseppesorge/physlib:rigidbody-angular-velocity-vectorCopy head branch name to clipboard