Registry · Theorem IV.T21 tau-effective formalized

IV.T21 — Canonical Commutation Relation

[X̂, P̂] = iℏ_τ. Derived from CR-coupling; ℏ_τ = 1/4 in τ-units from bi-rotation normalization. A theorem, not a postulate.

Book IV Part 3 Ch. 19

Dependency Graph

Depends on (4)

IV.D66 IV.P23 IV.D50 IV.T20

Depended on by (1)

V.T343

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.Quantization

Symbol: Tau.BookIV.QuantumMechanics.CanonicalCommutationRelation