Registry · Theorem IV.T34 tau-effective formalized

IV.T34 — Photon Propagation Speed

The photon propagates at the limiting speed c of the tau^3 causal structure, following from zero breathing eigenvalue and E=pc dispersion.

Book IV Part 4 Ch. 26

Dependency Graph

Depends on (2)

IV.T33 IV.D82

Depended on by (2)

IV.P32 IV.P35

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.PhotonPropagationSpeed