Commit 2023-12-18 04:53 f94379b4

View on Github →

feat(Mathlib/FieldTheory/Separable): add Polynomial.Separable.isIntegral and golf (#9134)

Estimated changes

modified theorem IsSeparable.isIntegral