Registry · Proposition IV.P99 tau-effective formalized

IV.P99 — Higgs sector as τ-holonomy sector

The electroweak/Higgs sector defines a tau-holonomy sector S_wk by setting C_n to EM-null configurations on the base tau^1, admissible set to admissible weak connections, and defect functional to the weak curvature measure.

Book IV Part 5 Ch. 40

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Strong.GapMetaTheorem

Symbol: Tau.BookIV.Strong.HiggsSectorAsHolonomySector