Registry · Remark V.R492 framework not_formalized

V.R492 — Why not iota_tau alone?

Why the Cabibbo angle requires both iota_tau and (1-iota_tau)

Book V Part 7 Ch. 61