Registry · Definition IV.D391 tau-effective not_applicable

IV.D391 — Dislocation as Holonomy Defect

Dislocation = Burgers circuit on T² lattice failing to close by vector b. Direct holonomy readout, analogous to spacetime holonomy. Burgers vector b ∈ Λ.

Book IV Part 7 Ch. 62

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter