IV.D229 — First-order phase transition

A first-order phase transition at defect entropy S_0 is a discontinuity in the tau-temperature: lim_{S->S_0^-} T_tau(S) != lim_{S->S_0^+} T_tau(S), equivalently a jump discontinuity in d delta / d S_def at S_0.