Theorem Polynomial.natSepDegree_smul_nonzero

Modification history

2026-10-26 16:38
Mathlib/FieldTheory/SeparableDegree.lean
chore: rename `nonzero` to `ne_zero` in theorem names (#44824) …
Deleted Polynomial.natSepDegree_smul_nonzeroView on Github →
2023-12-28 06:17
Mathlib/FieldTheory/SeparableDegree.lean
feat(FieldTheory/SeparableDegree): further properties of separable degree of fields and polynomials (#9041) …
Added Polynomial.natSepDegree_smul_nonzeroView on Github →