Theorem Polynomial.IsSplittingField.of_algEquiv

Modification history

2023-06-06 05:32
Mathlib/FieldTheory/SplittingField/IsSplittingField.lean
feat: port FieldTheory.SplittingField.IsSplittingField (#4714)
Added Polynomial.IsSplittingField.of_algEquivView on Github →