mathlib3

a3e0c85d - chore(cyclotomic/gal): update todo (#12693)

chore(cyclotomic/gal): update todo (#12693) this mentioned a non-existing old solution which got superseded by `is_primitive_root.power_basis`, but is still not the right solution in the long term