Registry · Theorem IV.T82 tau-effective formalized

IV.T82 — Generator adequacy and minimality

The nine elements of the canonical generator set generate the entire boundary holonomy algebra H_partial[omega], and no proper subset suffices; every polynomial expression in these nine generators yields a physical observable, establishing both adequacy and minimality.

Book IV Part 6 Ch. 45

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Particles.SectorAtlas

Symbol: Tau.BookIV.Particles.GeneratorAdequacyAndMinimality