Registry · Proposition IV.P175 tau-effective formalized

IV.P175 — Three-Fold Structure of~mathbbL

The lemniscate L = S^1 v S^1 carries three distinguished supports {Lobe_1, Lobe_2, Crossing} forming a regular simplex in character space; the pairwise spectral distance between adjacent supports is |1 - omega| = sqrt(3), unifying the three appearances of sqrt(3) in physics predictions.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWSynthesis

Symbol: Tau.BookIV.Electroweak.ThreefoldStructureOfmathbbl