Registry · Definition IV.D387 tau-effective formalized

IV.D387 — Magnetic Moment on T²

Magnetic moment of a defect bundle with spin s on T². Magnetization M = (1/V)Σμ_i is a collective property governed by d₄ alignment pattern.

Book IV Part 7 Ch. 63

Dependency Graph

Depended on by (2)

IV.D388 IV.P228

Lean Formalization

Module: TauLib.BookIV.ManyBody.Magnetism

Symbol: Tau.BookIV.ManyBody.MagneticMoment