Skip to content

docs(ClassicalMechanics): expand the Euler-Lagrange module overview - #1485

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
sankalpsthakur:agent/euler-lagrange-module-docs
Aug 3, 2026
Merged

docs(ClassicalMechanics): expand the Euler-Lagrange module overview#1485
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
sankalpsthakur:agent/euler-lagrange-module-docs

fix: restore trailing newline

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