path: root/mathcomp/field/descr

Mathematical Components Library on Fields

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