instDecidableEqDihedralGroup

Mathlib.GroupTheory.SpecificGroups.Dihedral

URI: https://scilib.ai/kg/mathlib#instDecidableEqDihedralGroup

English

For every n, equality in DihedralGroup n is decidable.

Русский

Для каждого n равенство в DihedralGroup n разрешимо.

LaTeX

$$DecidableEq(DihedralGroup(n))$$

Lean4

instance instDecidableEqDihedralGroup {n✝} : DecidableEq✝ (@DihedralGroup✝ n✝) :=
  instDecidableEqDihedralGroup.decEq

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

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

Разделы

Аффилиация

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