instCountableNat

Mathlib.Data.Countable.Defs

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

English

The natural numbers ℕ are countable.

Русский

Натуральные числа ℕ счётны.

LaTeX

$$$ \operatorname{Countable}(\mathbb{N}) $$$

Lean4

instance : Countable ℕ :=
  ⟨⟨id, injective_id⟩⟩

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

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

Разделы

Аффилиация

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