Registry · Definition IV.D294 tau-effective formalized

IV.D294 — Planck's constant in relational units

Planck's constant in the relational framework is h = M * L^2 * H = E/H, where E = M * L^2 * H^2 is the fundamental energy unit. This expresses h as energy per frequency, the defining property of the action quantum, derived from the three relational units M, L, H.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.PlancksConstantInRelationalUnits