Registry · Remark IV.R383 tau-effective formalized

IV.R383 — Definition versus theorem

In the Standard Model, chirality selection is a definition: the Lagrangian couples W to psi_L = (1/2)(1 - gamma_5)psi; in Category tau it is a theorem derived from CR-structure, sigma-involution, and balanced polarity; SU(2)_L is a compressed encoding of a structural fact, not wrong but not fundamental.

Book IV Part 4 Ch. 30

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality2

Symbol: Tau.BookIV.Electroweak.DefinitionVersusTheorem