Registry · Remark IV.R349 tau-effective not_applicable

IV.R349 — The Planck--Einstein relation in tau^3

The Planck-Einstein relations E = hbar_tau omega and p = hbar_tau k hold on tau^3, with hbar_tau the Planck character earned in Part II; E = pc and nu lambda = c are mutually consistent, and hbar_tau is a structural readout, not a free parameter.

Book IV Part 4 Ch. 26

Lean Formalization

Module: