Registry · Remark V.R439 tau-effective not_applicable

V.R439 — Fitted→Derived

In orthodox turbulence, She-Lévêque parameters (C₀=2, β=2/3) are fitted. In Category τ, they are structural: C₀=dim(T²), β=dim(T²)/dim(τ³). Zero-parameter derivation.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: