theorem HexRealRootsTheory.signVar_eq_list (l : List ℤ) : Hex.signVar l = l.signVariations

The executable integer sign-variation count agrees with Mathlib's list API.