Commit 2020-12-15 13:31 d21d17b1

feat(ring_theory/roots_of_unity): minimal polynomial of primitive roots (#5322) I've added some simple results about the minimal polynomial of a primitive root of unity. The next step will be to prove that any two primitive roots have the same minimal polynomial.