Theorem Polynomial.Separable.ne_zero

Modification history

2023-12-25 13:26
Mathlib/FieldTheory/Separable.lean
feat(FieldTheory/Separable): add some results regarding separable and no repeated roots (#9263) …
Added Polynomial.Separable.ne_zeroView on Github →