Registry · Proposition V.P171 tau-effective formalized

V.P171 — C_K Observational Match

C_K=3/2=1.5 vs observed 1.5±0.1. Deviation 0.0%. Within ±7% experimental uncertainty.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

V.T251

Depended on by (3)

V.R449 V.T338 V.T339

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.ck_observational_match