Registry · Proposition IV.P226 tau-effective formalized

IV.P226 — Spontaneous Magnetization on T²

Above T_C: ⟨M⟩=0 (para). Below T_C: ⟨|M|⟩>0 (ferro, Z₂ broken). T_C from sinh(2J/k_BT_C)=1 (Kramers-Wannier). Onsager exact solution on T² in thermodynamic limit.

Book IV Part 7 Ch. 63

Dependency Graph

Depends on (1)

IV.D388

Depended on by (1)

IV.T209

Lean Formalization

Module: TauLib.BookIV.ManyBody.Magnetism

Symbol: Tau.BookIV.ManyBody.SpontaneousMagnetization