uniqueGalX

Mathlib.FieldTheory.PolynomialGaloisGroup

URI: https://scilib.ai/kg/mathlib#Polynomial.Gal.uniqueGalX

English

There is a unique Gal for the polynomial X over F.

Русский

Для полинома X над F существует уникальная Галуа.

LaTeX

$$$\text{instance } Unique (X : F[X]).Gal$$$

Lean4

instance uniqueGalX : Unique (X : F[X]).Gal :=
  uniqueGalOfSplits _ (splits_X _)

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

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

Разделы

Аффилиация

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