Registry · Proposition IV.P100 tau-effective formalized

IV.P100 — Higgs sector satisfies (KH-1)--(KH-3)

The Higgs sector satisfies all three kernel hypotheses: (KH-1) stabilization at n_* = 2 (primorial depth of B), (KH-2) weak curvature defect is refinement-monotone, and (KH-3) discrete Hessian spectrum lemma gives lambda_1 > 0 after Goldstone absorption.

Book IV Part 5 Ch. 40

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Strong.GapMetaTheorem

Symbol: Tau.BookIV.Strong.HiggsSectorSatisfiesKh1kh3