Registry · Proposition IV.P01 tau-effective formalized

IV.P01 — All Couplings Positive

All 10 coupling numerators are strictly positive. Since all denominators are positive by construction, all coupling values are strictly positive. Physical: no sector is decoupled.

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Sectors.CouplingFormulas

Symbol: Tau.BookIV.Sectors.all_formulas_positive