Skip to content

feat(FieldTheory/Finite): irreducible polynomial divides X^q^n - X iff degree divides n#39239

Open
alainchmt wants to merge 1 commit into
leanprover-community:masterfrom
alainchmt:irreducible-finite-field
Open

feat(FieldTheory/Finite): irreducible polynomial divides X^q^n - X iff degree divides n#39239
alainchmt wants to merge 1 commit into
leanprover-community:masterfrom
alainchmt:irreducible-finite-field

Commits

Commits on May 12, 2026