Registry · Proposition IV.P176 tau-effective formalized

IV.P176 — Internal Equations Dimensionless

All internal physics identities (R_0, alpha, kappa_D, kappa_A+kappa_D, kappa_C) are dimensionless.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (1)

IV.D323

Lean Formalization

Module: TauLib.BookIV.Physics.InternalEquations

Symbol: Tau.BookIV.Physics.internal_identity_dimensionless