Registry · Proposition IV.P50 tau-effective formalized

IV.P50 — Photon Uniqueness

Among all massless transport modes on tau^1 with degenerate S^1 fiber characters, the photon is the unique null transport mode.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (2)

IV.D116 IV.D82

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.PhotonUniqueness