Registry · Definition IV.D389 tau-effective formalized

IV.D389 — Magnetic Domain Wall on T²

Codimension-1 defect in spin-alignment field on T². Curve γ across which d₄ has winding discontinuity. Bloch (discontinuous normal) or Néel (rotation in plane) types.

Book IV Part 7 Ch. 63

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.ManyBody.Magnetism

Symbol: Tau.BookIV.ManyBody.DomainWall