Registry · Definition IV.D223 tau-effective formalized

IV.D223 — Navier-Stokes regime

The Navier-Stokes regime is the subset of D where mu > mu_crit; above the critical mobility threshold the Euler budget is violated, with viscous source terms (g_mu, g_nu, g_kappa) satisfying g_mu + g_nu + g_kappa != 0.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.NavierstokesRegime