Registry · Theorem V.T81 tau-effective formalized

V.T81 — Rotational Flux Conservation --- V.T33

For a D-sector boundary state evolving under the tau-Einstein equation in the weak-field, slow-motion regime, the angular momentum character is conserved along the refinement tower: dL_chi/dn = 0.

Book V Part 5 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.KeplerSolarSystem

Symbol: Tau.BookV.Astrophysics.RotationalFluxConservationVt33