Registry · Definition IV.D226 tau-effective formalized

IV.D226 — Superfluid regime

The superfluid regime is the subset of D where mu = mu_max, nu = 0 a.e. (vanishing vorticity except at isolated quantized vortex cores), kappa = 0 (incompressible), and theta in Z (quantized topological charge).

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.SuperfluidRegime