Registry · Definition V.D97 tau-effective formalized

V.D97 — Macro tau-Navier--Stokes flow

Macro tau-Navier-Stokes flow: a sequence of tau-admissible configurations satisfying base-sector (D and A) dominance and macro viscous decay B^macro_{n+1} - B^macro_n proportional to the viscosity correction, defining the macroscopic fluid evolution on tau^3.

Book V Part 4 Ch. 27

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.NavierStokesMacro

Symbol: Tau.BookV.FluidMacro.MacroTaunavierstokesFlow