Registry · Theorem IV.T39 tau-effective formalized

IV.T39 — tau-AB Kernel Theorem

The AB phase is the UNIQUE functional satisfying holonomy, sigma-equivariance, and CR-compatibility on the EM loop space of tau^3.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (3)

IV.D93 IV.D107 IV.T37

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance2

Symbol: Tau.BookIV.Electroweak.TauabKernelTheorem