instT2SpaceStoneCech

Mathlib.Topology.Compactification.StoneCech

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

English

StoneCech α is a Hausdorff space.

Русский

StoneCech α является хаусдорфовым пространством.

LaTeX

$$$ T2Space( StoneCech \alpha ) $$$

Lean4

instance : T2Space (StoneCech α) :=
  inferInstanceAs <| T2Space <| T2Quotient _

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

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

Разделы

Аффилиация

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