Is Locally Bounded On

Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.

def CIV.IsLocallyBoundedOn (m : ℕ) (I : Set ℝ) (q : CKN.Vec m × ℝ → ℝ) : Prop

q ∈ L^∞_loc(I; L^∞(ℝ^m)).

Equations

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