Commit 2025-01-10 00:48 0a078d0b

feat: add normalizedFactorsMapEquivNormalizedFactorsMinPolyMk_symm_apply_eq_span (#19603) We add normalizedFactorsMapEquivNormalizedFactorsMinPolyMk_symm_apply_eq_span, that explicitely describes the image, via the Kummer Dedekind correspondence, of a factor of the minimal polynomial of the generator.