Commit 2023-03-01 21:21 742aa2cb
View on Github →feat(data.polynomial.div): add theorem X_pow_dvd_iff (#18528)
Add the theorem X_pow_dvd_iff saying that a polynomial is divisible by $X^n$ if and only if its first $(n-1)$ coefficients are $0$.
feat(data.polynomial.div): add theorem X_pow_dvd_iff (#18528)
Add the theorem X_pow_dvd_iff saying that a polynomial is divisible by $X^n$ if and only if its first $(n-1)$ coefficients are $0$.