Registry · Definition IV.D136 tau-effective formalized

IV.D136 — Physical Vacuum Ω*[ω]

Physical vacuum at crossing point Ω*[ω] = lim←_n ω_n*, the projective limit of finite-stage minimizers compatible with the refinement tower.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (2)

IV.P73 IV.D135

Depended on by (10)

IV.D137 IV.D138 IV.D139 IV.D140 IV.D142 IV.D143 IV.L06 IV.P76 IV.T63 IV.T65

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs

Symbol: Tau.BookIV.Electroweak.PhysicalVacuum