general H¹ case of r.LeBron.2

Uniform-in-κ time-Hölder bound in L² along 𝒦 = permissibleSet for solutions with general mean-zero H¹ data: the exponent μ and threshold Λ₃ depend only on β, C₀; C depends only on the limit stream.

def AVenhance.Infra.FullTheorem.UniformHolderContract (β C₀ : ℝ) : Prop

The general mean-zero H¹ case of r.LeBron.2.

Equations

• One or more equations did not get rendered due to their size.