Registry · Definition VII.D13 tau-effective formalized

VII.D13 — Sector Vacuum

Ground state of minimum defect for each sector; canonical minimizer of defect functional measuring incoherence degree.

Book VII Part 1 Ch. 6

Dependency Graph

Depended on by (1)

VII.L02

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.SectorVacuum