Registry · Definition V.D315 conjectural formalized

V.D315 — Admissibility Class

τ-admissible: ABCD+sector+NF on τ³. Schwartz: C^∞ rapid decay on ℝ³. Classes overlap but neither contains the other.

Book V Part 4 Ch. 27

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.NavierStokesMacro

Symbol: Tau.BookV.FluidMacro.AdmissibilityClass