mathlib3
cca63650 - feat(field_theory/galois): is_galois.tfae (#5542)

Commit

4 years ago

feat(field_theory/galois): is_galois.tfae (#5542) This is a TFAE theorem for is_galois Co-authored-by: tb65536 <tb65536@users.noreply.github.com>

Author

tb65536

Parents