X

Mathlib.NumberTheory.LucasLehmer

URI: https://scilib.ai/kg/mathlib#LucasLehmer.X

English

For p ≠ 0 and any i, sMod(p,i) is strictly less than 2^p − 1.

Русский

Для p ≠ 0 и любого i, sMod(p,i) меньше 2^p − 1.

LaTeX

$$sMod(p,i) < 2^p - 1$$

Lean4

/-- We construct the ring `X q` as ℤ/qℤ + √3 ℤ/qℤ. -/
def X (q : ℕ) : Type :=
  ZMod q × ZMod q

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

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

Разделы

Аффилиация

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