Registry · Proposition IV.P296 tau-effective not_formalized IV.P296 — τ-Higgs Vacuum The -crossing admits a unique ground state (vacuum configuration). Existence: the -crossing functional has a minimum... Book IV Part 3 Ch. 26