[Merged by Bors] - chore(NumberTheory/Cyclotomic/CyclotomicCharacter): fix name to camelCase#24521

acmepjz wants to merge 4 commits intomasterleanprover-community/mathlib4:masterfrom

acmepjz_fix_cycl_char_nameleanprover-community/mathlib4:acmepjz_fix_cycl_char_nameCopy head branch name to clipboard