Registry · Remark IV.R155 tau-effective formalized

IV.R155 — Euler budget recap

Recalls the Euler budget conservation mu + nu + kappa + theta = const from ch07 for single defect bundles in the inviscid regime, and poses the central question of ch52: what happens when this budget is aggregated over ~10^{23} bundles.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.EulerBudgetRecap