Registry · Proposition V.P174 conjectural formalized

V.P174 — Leray Limit Recovery

In the limit n→∞, τ-regularity recovers Leray bound. Gap vanishes super-exponentially with primorial depth.

Book V Part 4 Ch. 27

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.NavierStokesMacro

Symbol: Tau.BookV.FluidMacro.leray_limit_recovery