analyticOn

Mathlib.Analysis.Analytic.CPolynomialDef

URI: https://scilib.ai/kg/mathlib#CPolynomialOn.analyticOn

English

If f is CPolynomialOn, then f is AnalyticOn on s.

Русский

Если f является CPolynomialOn, то f аналитична на s.

LaTeX

$$CPolynomialOn 𝕜 f s → AnalyticOn 𝕜 f s$$

Lean4

theorem analyticOn {s : Set E} (hf : CPolynomialOn 𝕜 f s) : AnalyticOn 𝕜 f s :=
  hf.analyticOnNhd.analyticOn

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru