Registry · Definition IV.D22 tau-effective formalized

IV.D22 — Speed Constant

Speed-of-light constant c²_τ: τ-derived structural constant relating mass and energy indices. Not postulated but earned from τ-kernel.

Book IV Part 2 Ch. 6

Dependency Graph

Depended on by (1)

IV.D23

Lean Formalization

Module: TauLib.BookIV.Physics.MassEnergy

Symbol: Tau.BookIV.Physics.SpeedConstant