Registry · Proposition IV.P144 tau-effective formalized

IV.P144 — Fiber-level physics is complete

At the close of Part VII, every tau-admissible phenomenon on the fiber T^2 is classified: single particles (Part VI), quantum mechanics (Part III), gauge forces (Parts IV-V), many-body states and condensed matter (Part VII); Book V inherits the framework for the base tau^1.

Book IV Part 7 Ch. 54

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter

Symbol: Tau.BookIV.ManyBody.FiberlevelPhysicsIsComplete