uniformContinuous_map₂ — Mathlib

English

The map₂ from α,β to γ is uniformly continuous in each argument: UniformContinuous₂ (Completion.map₂ f).

Русский

Картирование map₂ непрерывно в каждой переменной: UniformContinuous₂ (Completion.map₂ f).

LaTeX

$$$\\mathrm{UniformContinuous_2} (\\mathrm{Completion.map_2} f)$$$

Lean4

theorem uniformContinuous_map₂ (f : α → β → γ) : UniformContinuous₂ (Completion.map₂ f) :=
  cPkg.uniformContinuous_map₂ cPkg cPkg f

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