uniformContinuous_toMul

Mathlib.Topology.UniformSpace.Basic

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

English

The map toMul: Additive α → α is uniformly continuous.

Русский

Отображение toMul: Additive α → α является равномерно непрерывным.

LaTeX

$$$$\\UniformContinuous(\\mathrm{toMul} : \\mathrm{Additive}\\ \\alpha \\to \\alpha).$$$$

Lean4

theorem uniformContinuous_toMul : UniformContinuous (toMul : Additive α → α) :=
  uniformContinuous_id

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

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

Разделы

Аффилиация

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