Registry · Lemma IV.L03 tau-effective formalized

IV.L03 — Photon Phase Quantum

The photon phase quantum Phi_0 = 2pi/N_tau is the minimal quantized phase for null transport on tau^1, with N_tau determined by T_pi compactness and relational units.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (1)

IV.D82

Depended on by (2)

IV.L04 IV.T49

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.PhotonPhaseQuantum