continuous_stoneCechExtend

Mathlib.Topology.Compactification.StoneCech

URI: https://scilib.ai/kg/mathlib#continuous_stoneCechExtend

English

The map stoneCechExtend hg is continuous.

Русский

Отображение stoneCechExtend hg непрерывно.

LaTeX

$$$ Continuous( stoneCechExtend hg ) $$$

Lean4

theorem continuous_stoneCechExtend : Continuous (stoneCechExtend hg) :=
  continuous_coinduced_dom.mpr (continuous_preStoneCechExtend hg)

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

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

Разделы

Аффилиация

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