nth_prime_zero_eq_two

Mathlib.Data.Nat.Prime.Nth

URI: https://scilib.ai/kg/mathlib#Nat.nth_prime_zero_eq_two

English

The 0-th prime is 2.

Русский

0-й простой равен 2.

LaTeX

$$$\text{nth Prime}(0) = 2$$$

Lean4

@[simp]
theorem nth_prime_zero_eq_two : nth Prime 0 = 2 :=
  nth_count prime_two

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

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

Разделы

Аффилиация

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