instT3Space

Mathlib.Topology.CompactOpen

URI: https://scilib.ai/kg/mathlib#ContinuousMap.instT3Space

English

If Y is a T3 space, then C(X,Y) is T3.

Русский

Если Y — T3 пространство, то C(X,Y) — T3.

LaTeX

$$$[T3Space Y] \\Rightarrow T3Space(C(X,Y))$$$

Lean4

instance [T3Space Y] : T3Space C(X, Y) :=
  inferInstance

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

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

Разделы

Аффилиация

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