Registry · Definition IV.D25 tau-effective formalized

IV.D25 — Defect Budget

Defect budget: conserved total of 4-component defect tuple in Euler regime. τ-native Kelvin circulation theorem.

Book IV Part 2 Ch. 7

Dependency Graph

Depends on (1)

IV.D17

Depended on by (1)

IV.T04

Lean Formalization

Module: TauLib.BookIV.Physics.Thermodynamics

Symbol: Tau.BookIV.Physics.DefectBudget