Theorem Polynomial.degree_smul_le
Modification history
2025-05-27 20:53
Mathlib/Algebra/Polynomial/Degree/Operations.lean
feat(Algebra/Polynomial/Degree/{Domain,Operations}): generalize some theorems to cover scalar multiplication with different types (#25237)
Modified Polynomial.degree_smul_leView on Github →