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