mathlib

4ba83349 - doc(number_theory/cyclotomic/gal): fix typo (#12038)