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

Dependency Graph

Depends on (2)