Registry · Remark IV.R28 tau-effective formalized

IV.R28 — CP Violation and the Crossing Phase

CP violation arises from the complex phase of the crossing-point germ omega. Magnitude controlled by Arg(omega_germ) << 1, explaining smallness of Jarlskog invariant J ~ 3e-5.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality2

Symbol: Tau.BookIV.Electroweak.CpViolationAndTheCrossingPhase