Commit 2025-12-01 18:53 0df88ea3

chore(CMField): generalize definitions and results (#31811) Following this discussion on Zulip, we continue the work in #31810 but removing the NumberField hypothesis in the definition of CM-fields. Many results still hold if it is replaced by the hypothesis that the field is of characteristic zero and some integrality hypothesis. The aim is to generalize the notion of CM-field to algebraic (non necessarily finite) extensions of ℚ and in particular to prove that nontrivial cyclotomic extensions of ℚ are CM, see #31812