mathlib3
579b142d - feat(field_theory/fixed): a field is normal over the fixed subfield under a group action (#3520)

Commit

5 years ago

feat(field_theory/fixed): a field is normal over the fixed subfield under a group action (#3520) From my Galois theory repo.

Author

kckennylau

Parents