Registry · Lemma IV.L01 tau-effective formalized

IV.L01 — Wedge Holonomy

The holonomy of character mode χ_{m,n} around a closed loop encircling the wedge point of L is Hol(ℓ; m,n) = (-1)^{m+n}. Derived from opposite complex orientations of the two lobes at ω.

Book IV Part 3 Ch. 16

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.CRAddressSpace

Symbol: Tau.BookIV.QuantumMechanics.WedgeHolonomy