Registry · Definition IV.D16 tau-effective formalized

IV.D16 — Defect Component

4 canonical defect components: Mobility (transport), Vorticity (circulation), Compression (divergence), Topological (winding). Computed on clopen adjacency graphs.

Book IV Part 2 Ch. 5

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Physics.DefectFunctional

Symbol: Tau.BookIV.Physics.DefectComponent