[Merged by Bors] - refactor(NumberTheory): golf Mathlib/NumberTheory/Cyclotomic/Gal
#38495
Loading
Mathlib/NumberTheory/Cyclotomic/Gal
#38495