mathlib

83bf40c1 - refactor(ring_theory/roots_of_unity): Remove redundant variables (#16798)