Registry · Definition IV.D231 tau-effective formalized

IV.D231 — tau-Euler flow

A tau-Euler flow is a sequence of tau-admissible configurations {d_n} satisfying: mobility bound mu(d_n) <= mu_crit, budget conservation mu_n + nu_n + kappa_n + theta_n = B_0, and propagation coherence d_{n+1} = Phi_{n,n+1}(d_n).

Book IV Part 7 Ch. 53

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.TaueulerFlow