infinite

Mathlib.Data.Nat.PrimeFin

URI: https://scilib.ai/kg/mathlib#Nat.Primes.infinite

English

Primes are infinite in number.

Русский

Простых чисел бесконечно много.

LaTeX

$$$\text{Primes are infinite}$$$

Lean4

instance infinite : Infinite Primes :=
  infinite_setOf_prime.to_subtype

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

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

Разделы

Аффилиация

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