nats

Mathlib.Data.Seq.Defs

URI: https://scilib.ai/kg/mathlib#Stream'.Seq.nats

English

The standard sequence of natural numbers: 0, 1, 2, 3, …

Русский

Стандартная последовательность натуральных чисел: 0, 1, 2, 3, …

LaTeX

$$$ \mathrm{nats} : \mathrm{Seq}(\mathbb{N}) = \mathrm{Stream'.nats}. $$$

Lean4

/-- The sequence of natural numbers some 0, some 1, ... -/
def nats : Seq ℕ :=
  Stream'.nats

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

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

Разделы

Аффилиация

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