refactor(NumberTheory): golf Mathlib/NumberTheory/Cyclotomic/Basic
#38280
+12
−35
Loading