instT3space

Mathlib.Topology.Separation.CompletelyRegular

URI: https://scilib.ai/kg/mathlib#T35Space.instT3space

English

A T35 space is automatically T3.

Русский

T35 пространство автоматически является T3.

LaTeX

$$$[T35Space X] \\Rightarrow [T3Space X]$$$

Lean4

instance instT3space [T35Space X] : T3Space X where

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

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

Разделы

Аффилиация

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