Registry · Proposition IV.P88 tau-effective formalized

IV.P88 — Ternary Decomposition of the η-Circle

At the C-sector's primorial depth 3, winding classes on the eta-circle decompose into exactly three equivalence classes modulo the strong vacuum normalization, with color(n) = n mod 3 in {0,1,2}, establishing the ternary color decomposition.

Book IV Part 5 Ch. 38

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.TernaryDecompositionOfTheCircle