uniformContinuousConstSMul_nat — Mathlib

English

On any uniform abelian group X, the action of natural numbers by repeated addition is uniformly continuous.

Русский

На любой равномерной абелевой группе X действие натуральных чисел через повторяющееся сложение является равномерно непрерывным.

LaTeX

$$$UniformContinuousConstSMul\,\mathbb{N} X$$$

Lean4

instance uniformContinuousConstSMul_nat [AddGroup X] [IsUniformAddGroup X] : UniformContinuousConstSMul ℕ X :=
  ⟨uniformContinuous_const_nsmul⟩

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