Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-07 09:30 63a17823

View on Github →

feat(field_theory/polynomial_galois_group): More flexible version of gal_action_hom_bijective_of_prime_degree (#7508) Since the number of non-real roots is even, we can make a more flexible version of gal_action_hom_bijective_of_prime_degree. This flexibility will be helpful when working with a specific polynomial.

Estimated changes