Registry · Remark IV.R80 tau-effective not_applicable

IV.R80 — No continuum parameter to tune

In Category tau there is no continuously tunable parameter: the coupling kappa(C;3) = iota_tau^3/(1-iota_tau) is fixed by iota_tau. There is no knob to turn that could drive the gap to zero; the gap is positive because the structure requires it.

Book IV Part 5 Ch. 41

Lean Formalization

Module:

Symbol: