Registry · Definition IV.D230 tau-effective formalized

IV.D230 — Second-order phase transition

A second-order phase transition at S_0 is a point where T_tau is continuous but its derivative dT_tau/dS_def is discontinuous, equivalently a jump in d^2 delta / d S_def^2; examples include the superconducting transition and superfluid lambda point.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.SecondorderPhaseTransition