instT35Space

Mathlib.Topology.Separation.CompletelyRegular

URI: https://scilib.ai/kg/mathlib#T4Space.instT35Space

English

A T4 space carries T35 property; T4 implies T35.

Русский

Т4-пространство обладает свойством T35; T4 ⇒ T35.

LaTeX

$$$[T4Space X] \\Rightarrow [T35Space X]$$$

Lean4

instance instT35Space [T4Space X] : T35Space X where

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

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

Разделы

Аффилиация

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