Registry · Definition IV.D225 tau-effective formalized

IV.D225 — Plasma regime

The plasma regime is the subset of D where mu, |nu|, |kappa| > mu_crit and theta is fluctuating (not globally fixed); topological charge varies across the configuration, representing the ionized, fully mobile state of matter.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.PlasmaRegime