Commit 2024-02-10 09:56 b9ecf684

View on Github →

chore: relax typeclass assumption in Polynomial.support_smul (#10397)

Estimated changes

modified theorem Polynomial.support_smul