Registry · Definition V.D215 tau-effective planned

V.D215 — Sector Couplings --- Layer 1

All 5 sector couplings as functions of iota_tau: kappa(D)=1-iota_tau, kappa(A)=iota_tau, kappa(B)=iota_tau^2, kappa(C)=iota_tau^3/(1-iota_tau), kappa(omega)=iota_tau^3/(1+iota_tau).

Book V Part 8 Ch. 71

Lean Formalization

Module: