infinite

Mathlib.Data.ZMod.Defs

URI: https://scilib.ai/kg/mathlib#ZMod.infinite

English

ZMod(0) is infinite, corresponding to the integers ℤ.

Русский

ZMod(0) бесконечен и эквивалентен ℤ.

LaTeX

$$$Infinite (ZMod(0)).$$$

Lean4

instance infinite : Infinite (ZMod 0) :=
  Int.infinite

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

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

Разделы

Аффилиация

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