Registry · Definition IV.D233 tau-effective formalized

IV.D233 — Superfluid regime

A tau-admissible configuration is in the superfluid regime if mu is maximal (free base-direction translation), nu = 0 except at isolated vortex cores with non-trivial winding around T^2 cycles, and kappa = 0 (incompressible bulk).

Book IV Part 7 Ch. 53

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.SuperfluidRegime