Registry · Remark V.R165 tau-effective not_applicable

V.R165 — Second law is deeper than the first

Kepler's second law is deeper than the first: it requires only angular momentum conservation (any central force), while the first law additionally needs the inverse-square force. The second law remains approximately valid even beyond ell_cl.

Book V Part 5 Ch. 35

Lean Formalization

Module: