mathlib3
41f11966 - feat(field_theory/polynomial_galois_group): ext lemma (#6627)

Commit

4 years ago

feat(field_theory/polynomial_galois_group): ext lemma (#6627) Two elements of `gal p` are equal if they agree on all roots of `p`

Author

tb65536

Parents