Registry · Definition IV.D235 tau-effective formalized

IV.D235 — Crystal regime

A tau-admissible configuration is in the crystal regime if mu approx 0 (atoms locked), nu approx 0 (no rotation), kappa approx 0 (rigid lattice), and theta forms a repeating periodic pattern on T^2 with coherent long-range order.

Book IV Part 7 Ch. 53

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.CrystalRegime