Registry · Definition IV.D13 tau-effective formalized

IV.D13 — Planck Character

ℏ_τ = Lift_QM(ι_τ): universal lower bound in H_∂[ω]. σ-fixed (crossing point), attained minimum (not infimum). The QM sector lift of the master constant.

Book IV Part 2 Ch. 4

Dependency Graph

Depends on (1)

IV.D15

Depended on by (9)

IV.D107 IV.D14 IV.D70 IV.P29 IV.P52 IV.R17 IV.T22 IV.T24 IV.T28

Lean Formalization

Module: TauLib.BookIV.Physics.PlanckCharacter

Symbol: Tau.BookIV.Physics.PlanckCharacter