Registry · Definition IV.D91 tau-effective formalized

IV.D91 — Parallel Transport

Parallel transport of a fiber element along a path gamma in tau^1 is the unique horizontal lift, yielding phase factor exp(ie int A_mu dot gamma dt).

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance

Symbol: Tau.BookIV.Electroweak.ParallelTransport