Registry · Definition IV.D238 tau-effective formalized

IV.D238 — First-order phase transition

A first-order phase transition (ch53 formulation) is a transition where one or more defect-tuple components undergo a discontinuous jump as a control parameter crosses an inequality boundary; examples include melting (mu jumps from ~0 to >0).

Book IV Part 7 Ch. 53

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.FirstorderPhaseTransition