Mathematical Components Library on Fields

This library contains definitions and theorems about field extensions,
galois theory, algebraic numbers, cyclotomic polynomials...