Registry · Theorem IV.T255 framework not_formalized IV.T255 — Ehrenfest Classification from Phase transitions are classified by the behavior of the free energy F(d, T) at a transition surface in D: enumerate Book IV Part 7 Ch. 62