Registry · Definition V.D213 tau-effective planned

V.D213 — Sector Lift Functor

Maps iota_tau to sector self-coupling kappa(S; r_S) for each of the 5 primitive sectors.

Book V Part 8 Ch. 69

Lean Formalization

Module: