Registry · Proposition IV.P101 tau-effective formalized

IV.P101 — Strong sector as τ-holonomy sector

The strong sector defines a tau-holonomy sector S_s via C_n = admissible strong connections G_n on the hadronic torus T(H)[n], with chi_minus-preservation and the strong defect functional Delta_n^s.

Book IV Part 5 Ch. 40

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Strong.GapMetaTheorem

Symbol: Tau.BookIV.Strong.StrongSectorAsHolonomySector