Registry · Definition V.D308 tau-effective formalized

V.D308 — Fiber Co-dimension of Dissipative Structures

Co-dimension of most intense dissipative structures C₀ = dim(T²) = 2. Vortex filaments are co-dimension-2 objects where the fiber T² degenerates.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

I.D02

Depended on by (5)

V.D309 V.P45 V.R440 V.R451 V.T248

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.FiberCodimension