Registry · Definition IV.D18 tau-effective formalized

IV.D18 — Fluid Regime

8 canonical fluid regimes: Crystal, Glass, Euler, Navier-Stokes, MHD, Plasma, Superfluid, Superconductor. Classified by defect-tuple inequality patterns.

Book IV Part 2 Ch. 5

Dependency Graph

Depends on (1)

IV.D17

Depended on by (2)

IV.D19 IV.T04

Lean Formalization

Module: TauLib.BookIV.Physics.DefectFunctional

Symbol: Tau.BookIV.Physics.FluidRegime