Registry · Proposition IV.P228 tau-effective formalized

IV.P228 — Magnetic Orders as Defect-Tuple Signatures

Five magnetic orders as d₄ patterns: (1) Diamagnetic: paired d₄, M≤0. (2) Paramagnetic: random d₄, M→0. (3) Ferromagnetic: global alignment, M>0. (4) Antiferromagnetic: alternating sublattices, M=0. (5) Ferrimagnetic: unequal sublattices, 0

Book IV Part 7 Ch. 63

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.ManyBody.Magnetism

Symbol: Tau.BookIV.ManyBody.MagneticOrders