Skip to content

is_NumberFieldElement: Fix deprecation message#38286

Merged
vbraun merged 1 commit intosagemath:developfrom mkoeppe:is_NumberFieldElement_fix_deprecationJul 24, 2024