feat(ClassicalMechanics): add Caldirola-Kanai lagrangian for the damped harmonic oscillator#1354

Merged

jstoobysmith merged 3 commits into

leanprover-community:masterfrom

giuseppesorge:damped-oscillator-lagrangian

Jul 3, 2026

Commits on Jul 1, 2026

feat(ClassicalMechanics): add Caldirola-Kanai lagrangian for damped oscillator

giuseppesorge
and
claude
committed
docs(ClassicalMechanics): apply review fixes to Caldirola-Kanai section

giuseppesorge
and
claude
committed

Commits on Jul 2, 2026

docs(ClassicalMechanics): point inherited energy API-map locations at their defining file

giuseppesorge
and
claude
committed