Conservation of energy from time-translation invariance (source code)

= Conservation of energy from time-translation invariance

A Lagrangian with no explicit time dependence conserves $E=\sum_i\dot q_i\,\partial L/\partial\dot q_i-L$.