instIsTopologicalGroupULift

Mathlib.Topology.Algebra.Group.Basic

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

English

The ULift of a topological group G carries a canonical topological group structure.

Русский

ULift группы G обладает канонической структурой топологической группы.

LaTeX

$$$IsTopologicalGroup(\mathrm{ULift}(G)).$$$

Lean4

instance : IsTopologicalGroup (ULift G) where

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

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

Разделы

Аффилиация

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