Registry · Theorem IV.T127 tau-effective formalized

IV.T127 — Mass Ratio as Internal Identity

The mass ratio R_0 lives at Layer 1 (InternalPhysics), not Layer 0 or Layer 2.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (2)

IV.D323 IV.D324

Lean Formalization

Module: TauLib.BookIV.Physics.InternalEquations

Symbol: Tau.BookIV.Physics.mass_ratio_internal