Registry · Theorem V.T248 tau-effective formalized

V.T248 — She-Lévêque from τ³ Dimensions

ζ_p = p/9 + 2[1-(2/3)^{p/3}] exactly from τ structural constants: 1/9=1/dim(τ³)², 2=dim(T²), 2/3=dim(T²)/dim(τ³). Zero free parameters.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.she_leveque_from_tau