Registry · Definition IV.D126 tau-effective formalized

IV.D126 — PMNS Matrix

Unitary PMNS matrix U connecting flavor and mass eigenstates. Parametrized by three mixing angles theta_12, theta_23, theta_13 and one CP-violating phase delta_CP.

Book IV Part 4 Ch. 32

Dependency Graph

Depends on (1)

IV.D134

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.PmnsMatrix