Registry · Theorem V.T83 tau-effective formalized

V.T83 — Kepler's Second Law --- V.T35

Kepler's second law: the line joining a planet to the central mass sweeps equal areas in equal times, dA/dt = L/(2m) = const, following directly from the rotational flux conservation theorem.

Book V Part 5 Ch. 35

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.KeplerSolarSystem

Symbol: Tau.BookV.Astrophysics.KeplersSecondLawVt35