Registry · Theorem IV.T20 tau-effective formalized

IV.T20 — Topological Quantization

Compact T² → discrete Z² → Λ_CR → all quantum operator spectra are discrete subsets of ℏ_τ·Z. Quantization from topology, not postulated.

Book IV Part 3 Ch. 19

Dependency Graph

Depends on (3)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.Quantization

Symbol: Tau.BookIV.QuantumMechanics.TopologicalQuantization