Theorem Polynomial.IsSplittingField.mul

Modification history

2023-06-06 05:32

Mathlib/FieldTheory/SplittingField/IsSplittingField.lean

feat: port FieldTheory.SplittingField.IsSplittingField (#4714)

Added Polynomial.IsSplittingField.mul View on Github →