Theorem polynomial.gal.gal_action_hom_bijective_of_prime_degree_aux
Modification history
2021-05-19 08:44
src/field_theory/polynomial_galois_group.lean
docs(field_theory/polynomial_galois_group): improve existing docs (#7586)
Deleted polynomial.gal.gal_action_hom_bijective_of_prime_degree_auxView on Github →