Registry · Remark IV.R480 framework not_formalized

IV.R480 — Euler vs.\ Navier--Stokes: The Algebraic Divide

The NFL theorem immediately distinguishes: itemize Euler regime: every dynamical step is Aut(H_).

Book IV Part 7 Ch. 64