continuousOn_rpowIntegrand₀₁_Ici

English

If hp ∈ (0,1) and ht > 0, then the map t ↦ rpowIntegrand₀₁(p, t) is continuous on the closed ray [0,∞).

Русский

Пусть hp ∈ (0,1) и ht > 0, тогда отображение t ↦ rpowIntegrand₀₁(p,t) непрерывно на множестве $Ici 0$.

LaTeX

$$$\\text{ContinuousOn}\\bigl(rpowIntegrand_{01}\\,p\\,t\\bigr)\\bigl(I\\!C_i\\,0\\bigr)$$$

Lean4

theorem continuousOn_rpowIntegrand₀₁_Ici (hp : p ∈ Ioo 0 1) (ht : 0 < t) : ContinuousOn (rpowIntegrand₀₁ p t) (Ici 0) :=
  (continuousOn_rpowIntegrand₀₁_uncurry hp _ fun _ a => a).uncurry_left _ ht

Похожие утверждения