multipliableLocallyUniformlyOn — Mathlib

English

Variant of the previous statement under equivalent hypotheses; shows how local uniform convergence follows from compact approximations.

Русский

Вариант предыдущего утверждения под эквивалентными предпосылками; демонстрирует, как локальная равномерная сходимость следует из приближений по компактам.

LaTeX

$$$ \text{[...] } HasProdLocallyUniformlyOn f g s $$$

Lean4

@[to_additive]
theorem multipliableLocallyUniformlyOn (h : HasProdLocallyUniformlyOn f g s) : MultipliableLocallyUniformlyOn f s :=
  ⟨g, h⟩

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