continuousOn

Mathlib.Geometry.Manifold.IntegralCurve.Basic

URI: https://scilib.ai/kg/mathlib#IsMIntegralCurveOn.continuousOn

English

If γ is an integral curve on s, then γ is continuous on s.

Русский

Если γ интегральная кривая на s, то она непрерывна на s.

LaTeX

$$$\mathrm{IsMIntegralCurveOn}(\gamma,v,s) \Rightarrow \mathrm{ContinuousOn}(\gamma,s).$$$

Lean4

theorem continuousOn (hγ : IsMIntegralCurveOn γ v s) : ContinuousOn γ s := fun t ht ↦ (hγ t ht).continuousWithinAt

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

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

Разделы

Аффилиация

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