Registry · Theorem
IV.T325
framework
not_formalized
IV.T325 — Navier--Stokes Regularity from the -Gap
The -gap meta-theorem (III.T26) guarantees a positive mass gap in every -holonomy sector satisfying the three kernel...
Book IV
Part 7
Ch. 56