Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-05-19 08:44
c1e9f942
View on Github →
docs(field_theory/polynomial_galois_group): improve existing docs (
#7586
)
Estimated changes
Modified
src/field_theory/polynomial_galois_group.lean
added
theorem
polynomial.gal.card_complex_roots_eq_card_real_add_card_not_gal_inv
deleted
theorem
polynomial.gal.gal_action_hom_bijective_of_prime_degree_aux