Registry · Definition IV.D87 tau-effective formalized

IV.D87 — Transition Function

The transition function g_UV: U cap V -> U(1) relates overlapping local trivializations and satisfies the cocycle condition on triple overlaps.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (1)

IV.D86

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance

Symbol: Tau.BookIV.Electroweak.TransitionFunction