Registry · Definition V.D310 tau-effective formalized

V.D310 — Kolmogorov Exponent Decomposition

5/3 = (|gen|+dim(T²))/dim(τ³) = (3+2)/3. Numerator: 3 generation modes + 2 fiber directions. Denominator: dim(τ³)=3.

Book V Part 4 Ch. 28

Dependency Graph

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.KolmogorovDecomposition