Skip to content

feat(ClassicalMechanics): inertia tensor about a point and the parallel-axis theorem - #1475

Open
giuseppesorge wants to merge 1 commit into
leanprover-community:masterfrom
giuseppesorge:rigidbody-parallel-axis
Open

feat(ClassicalMechanics): inertia tensor about a point and the parallel-axis theorem#1475
giuseppesorge wants to merge 1 commit into
leanprover-community:masterfrom
giuseppesorge:rigidbody-parallel-axis

feat(ClassicalMechanics): inertia tensor about a point and the parall…

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

Annotations

1 warning and 1 notice
Add topic label
succeeded Jul 31, 2026 in 11m 0s