Registry · Theorem IV.T24 tau-effective formalized

IV.T24 — Planck Character Uniqueness

ℏ_τ is the UNIQUE σ-equivariant crossing-point mediator on L. Among all σ-equivariant characters χ_{k,k}, exactly one yields a positive mediator: χ_{1,1}|_L with value ℏ_τ. Third link of the three-theorem chain.

Book IV Part 3 Ch. 20

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.AddressObstruction

Symbol: Tau.BookIV.QuantumMechanics.PlanckCharacterUniqueness