Registry · Theorem V.T250 tau-effective formalized

V.T250 — -5/3 from τ Dimensions

Energy spectrum exponent -5/3: cascade operates on dim(τ³)=3 dimensions while dissipating through |gen|+dim(T²)=5 channels.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.kolmogorov_53_from_tau