feat(ClassicalMechanics): add the Poisson bracket - #1698

Open

Sudo-RR wants to merge 2 commits into

leanprover-community:masterfrom

Sudo-RR:classical-poisson-bracket

Commits on Sep 29, 2026

feat(ClassicalMechanics): add the Poisson bracket

Sudo-RR
and
claude
committed
16f74e6
docs(ClassicalMechanics): list poissonBracket_add_right and poissonBracket_const_mul_right

Sudo-RR
and
claude
committed
10db15f