uniformContinuousConstSMul_int — Mathlib

English

Similarly, on any uniform abelian group X, the action of integers by repeated addition/subtraction is uniformly continuous.

Русский

Аналогично, действие целых чисел на X через сложение/вычитание единицами непрерывно по равномерной структуре.

LaTeX

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

Lean4

instance uniformContinuousConstSMul_int [AddGroup X] [IsUniformAddGroup X] : UniformContinuousConstSMul ℤ X :=
  ⟨uniformContinuous_const_zsmul⟩

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