Registry · Remark IV.R271 tau-effective not_applicable

IV.R271 — Connection to the derivation chain

The Planck character hbar_tau and the derivation-chain formula h = M*L^2*H describe the same quantity from two perspectives: the derivation chain gives h as a dimensional combination of relational units; the Planck character gives hbar as a sigma-fixed sector lift of iota_tau.

Book IV Part 2 Ch. 13

Lean Formalization

Module: