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