Registry · Definition IV.D239 tau-effective formalized

IV.D239 — Second-order phase transition

A second-order (continuous) phase transition is a transition where all defect-tuple components are continuous but one or more of their derivatives with respect to a control parameter diverge at the inequality boundary; examples include the normal-to-superconductor transition.

Book IV Part 7 Ch. 53

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.SecondorderPhaseTransition