Registry · Definition IV.D222 tau-effective formalized

IV.D222 — Euler fluid regime

The Euler fluid regime is the subset of D where 0 < mu <= mu_crit and the Euler budget constraint mu + nu + kappa + theta = B_0 holds; flow is inviscid with no entropy production, the tau-native analog of ideal fluid dynamics on the fiber T^2.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.EulerFluidRegime