Registry · Definition IV.D105 tau-effective formalized

IV.D105 — Null Transport Mode

A null transport mode on tau^1 propagates with vanishing net fiber holonomy in both gamma and eta directions: no electric or color charge.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (1)

IV.D82

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.NullTransportMode