Registry · Remark IV.R85 tau-effective not_applicable

IV.R85 — Mixing at the cross-coupling level

Cross-couplings between sectors do exist: kappa(B,C) = iota_tau^3/(1+iota_tau) approx 0.0297 is a structural invariant of the Higgs-crossing geometry. The no-mixing proposition concerns primitive self-couplings, not inter-sector invariants.

Book IV Part 5 Ch. 42

Lean Formalization

Module:

Symbol: