Skip to content

feat(ClassicalMechanics): add rigid-body angular momentum and prove L = Iω#1366

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
giuseppesorge:rigidbody-angular-momentum
Jul 7, 2026
Merged

feat(ClassicalMechanics): add rigid-body angular momentum and prove L = Iω#1366
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
giuseppesorge:rigidbody-angular-momentum

refactor(Mathematics): move cross_cross_self_apply to a new CrossProd…

a3cd647
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based style linter
succeeded Jul 6, 2026 in 13s