Registry · Theorem V.T77 tau-effective formalized

V.T77 — Phase-transition universality

Phase-transition universality: every macro phase transition on tau^3 is the base-projected image of a fiber-level inequality crossing in defect-tuple space; the fiber-level classification is the universal template, and macro phases are its readouts at specific density, temperature, and field conditions.

Book V Part 4 Ch. 33

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.PhasetransitionUniversality