Registry · Remark V.R441 tau-effective not_applicable

V.R441 — Two-Thirds Law

Kolmogorov two-thirds law exponent 2/3 = dim(T²)/dim(τ³), the fiber-to-total dimension ratio.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: