isCyclic_units_two

Mathlib.RingTheory.ZMod.UnitsCyclic

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

English

The unit group of ZMod 2 is cyclic.

Русский

Группа единиц ZMod 2 циклична.

LaTeX

$$$ IsCyclic\ ((ZMod\ 2)^{\times}) $$$

Lean4

theorem isCyclic_units_two : IsCyclic (ZMod 2)ˣ :=
  inferInstance

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

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

Разделы

Аффилиация

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