Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-20 19:25 8b6f541e

View on Github →

feat(field_theory/normal): Splitting field is normal (#5768) Proves that splitting fields are normal.

Estimated changes