Commit 2024-11-05 19:57 0d0d4013

chore: split RingTheory.RootsOfUnity.Basic (#18669) As a preliminary step before adding new material to the RootsOfUnity files, this splits off a large part of RingTheory.RootsOfUnity.Basic into a new file RingTheory.RootsOfUnity.PrimitiveRoots.

• The current Basic file had almost 1000 lines
• The material that is split off is everything relying on IsPrimitiveRoot, what remains does not depend on that
• Some downstream files do not need IsPrimitiveRoot I've also cleaned up some of the import lists in the files I touched.