Registry · Theorem V.T290 tau-effective not_formalized V.T290 — Cabibbo angle from tau --- IV.T152 Ledger restatement: Cabibbo angle lambda_C=iota_tau(1-iota_tau) (IV.T152) Book V Part 7 Ch. 61