Documentation

Mathlib.RingTheory.Polynomial.Selmer

Irreducibility of Selmer Polynomials #

This file proves irreducibility of the Selmer polynomials X ^ n - X - 1.

Main results #

TODO: Show that the Selmer polynomials have full Galois group.