Commit 2025-05-27 20:53 7ea1985f

View on Github →

feat(Algebra/Polynomial/Degree/{Domain,Operations}): generalize some theorems to cover scalar multiplication with different types (#25237)

Estimated changes

modified theorem Polynomial.natDegree_smul
modified theorem Polynomial.degree_smul_le