mathlib3
2ae61be9 - feat(field_theory/galois): is_galois.self (#5486)

Commit

5 years ago

feat(field_theory/galois): is_galois.self (#5486) Some basic lemmas about is_separable, normal, and is_galois.

Author

tb65536

Parents