Registry · Remark IV.R170 tau-effective formalized

IV.R170 — Kelvin theorem as budget law

Kelvin's circulation theorem (oint v * dl conserved in inviscid barotropic flow) is the chart-level readout of the tau-Euler budget law; the four defect components play the role of the integrand and conservation holds because propagation preserves the budget surface.

Book IV Part 7 Ch. 53

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.KelvinTheoremAsBudgetLaw