Theorem Polynomial.natDegree_smul
Modification history
2025-06-30 09:14
Mathlib/Algebra/Polynomial/Degree/Domain.lean
feat(Mathlib/Algebra/Polynomial/Degree/Domain.lean): generalize `natDegree_smul` from `SMulWithZero` to `SMulZeroClass` (#25257) …
Modified Polynomial.natDegree_smulView on Github →