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