Registry · Remark IV.R161 conjectural not_applicable

IV.R161 — Navier-Stokes regularity

Book III established positive regularity for tau-admissible fluid data (III.T25); the structural reason is compactness of the T^2 fiber, which prevents the defect-transport operator from developing singularities; the Clay Millennium NS problem link is noted.

Book IV Part 7 Ch. 52

Lean Formalization

Module:

Symbol: