Registry · Definition V.D224 tau-effective planned

V.D224 — Export E4: Defect Functional

Exports 4-component defect tuple (mobility, vorticity, compression, topological) and 8 fluid regimes.

Book V Part 8 Ch. 72

Lean Formalization

Module: