instT2Space

Mathlib.Topology.CompactOpen

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

English

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

Русский

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

LaTeX

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

Lean4

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

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

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

Разделы

Аффилиация

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