Registry · Proposition IV.P52 tau-effective formalized

IV.P52 — Polarity Assignments

At E1: D/Gravity chi_+-dominant, A/Weak balanced (pol=0), B/EM chi_+-dominant, C/Strong chi_--dominant, omega/Higgs crossing. A-sector is the unique primary sector with pol=0.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (3)

IV.D107 IV.D10 IV.D13

Depended on by (2)

IV.D93 IV.P54

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.PolarityAssignments