Registry · Definition IV.D149 tau-effective formalized

IV.D149 — Finite-stage strong vacuum

The finite-stage strong vacuum Gamma_s^*[n] is the argmin of Delta_n^s over Adm_s[n], with NFMin tie-breaking among minimizers; it is the unique canonical ground state of the strong sector at primorial stage n.

Book IV Part 5 Ch. 37

Lean Formalization

Module: TauLib.BookIV.Strong.StrongVacuum

Symbol: Tau.BookIV.Strong.FinitestageStrongVacuum