Continuity of the complete Sobolev mild nonlinearity

The complete nonlinear Stokes integrand varies continuously at every strictly positive elapsed time when its velocity input is continuous.

theorem CKN.Leray.regularisedBesselTensorQuadratic_continuous (ρ : RegMollifierProfile) (ε : ℝ) (hε : 0 < ε) (k : ℕ) : Continuous (regularisedBesselTensorQuadratic ρ ε hε k)

The complete H²ᵏ quadratic tensor is continuous in its velocity.