Commit 2025-11-26 15:01 cf46d6e8

chore(TotallyReal/TotallyComplex): remove the NumberField hypothesis (#31810) We remove theNumberField hypothesis in the definitions and most of the results. In general, it can be replaced by the hypothesis that the field is of characteristic zero and some integrality hypothesis.