Registry · Definition IV.D82 tau-effective formalized

IV.D82 — Photon Mode

The photon is the B-sector transport mode on tau^3 with degenerate fiber character (m,n)=(0,0), nontrivial base transport along tau^1, and gamma-sector membership.

Book IV Part 4 Ch. 26

Dependency Graph

Depends on (2)

IV.D02 IV.D40

Depended on by (12)

IV.D104 IV.D105 IV.L03 IV.P33 IV.P35 IV.P36 IV.P47 IV.P50 IV.R41 IV.T33 IV.T34 IV.T35

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.PhotonMode