Registry · Proposition IV.P167 tau-effective formalized

IV.P167 — Attained minimum

Among all sigma-fixed characters chi: H_partial[omega] -> R_{>0} in the quantum-mechanical sector, the Planck character hbar_tau attains the minimum. Any larger sigma-fixed value would be a higher excitation; hbar is the ground-state action quantum, as small as the coherence kernel permits.

Book IV Part 2 Ch. 13

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.AttainedMinimum