Registry · Proposition IV.P13 tau-effective formalized

IV.P13 — Charge Quantization from Winding

Electric charge is an integer multiple of e_τ from the minimal non-trivial character mode in Λ_CR. Charge quantization is automatic: winding numbers are integers.

Book IV Part 3 Ch. 17

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.QuantumCharacters

Symbol: Tau.BookIV.QuantumMechanics.ChargeQuantizationFromWinding