theorem Hex.AlgebraicNumber.isAlgebraic (a : AlgebraicNumber) : IsAlgebraic ℚ a.toComplex

The represented complex number is algebraic over ℚ.

instance Hex.AlgebraicNumber.instIsAlgebraicRat_hexNumberFieldTheory : Algebra.IsAlgebraic ℚ AlgebraicNumber