Registry · Proposition IV.P15 tau-effective formalized

IV.P15 — Conjugate Precision Trade-off

Sharpening address precision in one direction spreads it in the conjugate: Δ_γ · Δ_{p_γ} ≥ ℏ_τ/2. Preview of the Address-Obstruction Theorem (ch20).

Book IV Part 3 Ch. 17

Dependency Graph

Depends on (2)

IV.D59 IV.D57

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.QuantumCharacters

Symbol: Tau.BookIV.QuantumMechanics.ConjugatePrecisionTradeoff