continuous

Mathlib.Topology.Covering

URI: https://scilib.ai/kg/mathlib#IsCoveringMap.continuous

English

If f is a covering map, then f is continuous.

Русский

Если f является покровным отображением, то оно непрерывно.

LaTeX

$$$\forall f\,\text{IsCoveringMap}(f)\ \\Rightarrow\ \text{Continuous}(f)$$$

Lean4

protected theorem continuous : Continuous f :=
  continuousOn_univ.mp hf.isCoveringMapOn.continuousOn

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

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

Разделы

Аффилиация

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