Skip to content

feat(ClassicalMechanics): add rigid-body angular velocity tensor - #1353

Merged
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
giuseppesorge:rigidbody-angular-velocity
Jul 3, 2026
Merged

feat(ClassicalMechanics): add rigid-body angular velocity tensor#1353
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
giuseppesorge:rigidbody-angular-velocity

refactor(ClassicalMechanics): move orientation_mul_transpose next to …

db0e103
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
update-label
succeeded Jul 3, 2026 in 3s