Registry · Remark IV.R165 tau-effective not_applicable

IV.R165 — Transitions as inequality crossings

Every phase transition between the eight regimes is an inequality crossing in the defect tuple space D; no external order parameter (Landau theory) or symmetry-breaking mechanism is needed since the defect tuple itself is the order parameter.

Book IV Part 7 Ch. 52

Lean Formalization

Module:

Symbol: