Registry · Theorem IV.T209 tau-effective formalized

IV.T209 — Curie Transition as T² Symmetry Breaking

Curie transition = 2nd-order phase transition in defect-tuple framework. Order parameter φ = ⟨M⟩/M_sat = global d₄ coherence. Z₂ broken below T_C. Susceptibility diverges at T_C. Universality class from T² symmetry.

Book IV Part 7 Ch. 63

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.ManyBody.Magnetism

Symbol: Tau.BookIV.ManyBody.CurieTransition