Registry · Definition V.D113 tau-effective formalized

V.D113 — Macro tau-crystal

Macro tau-crystal: a macro configuration with mu^macro = 0 (rigid), nu^macro = 0 (no vorticity), large kappa^macro (high compression rigidity), and theta^macro nonzero (long-range topological order, i.e., crystalline lattice structure).

Book V Part 4 Ch. 33

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.MacroTaucrystal