Registry · Definition IV.D137 tau-effective formalized

IV.D137 — Minimality Condition

The ω-sector mode Ω*[ω] satisfies minimality if it is the simplest mode (fewest internal degrees of freedom) compatible with coherence fixing at crossing point p_ω.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs

Symbol: Tau.BookIV.Electroweak.MinimalityCondition