Registry · Theorem V.T76 tau-effective formalized

V.T76 — Critical surface is codimension 1

Critical surface is codimension 1: each inequality function f_i (fluid/solid, ordered/disordered, compressible/incompressible) defines a codimension-1 surface in defect-tuple space; triple points are codimension-2 intersections, critical points are codimension-2 tangencies (structural Gibbs phase rule).

Book V Part 4 Ch. 33

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.CriticalSurfaceIsCodimension1