Commit 2020-10-02 10:14 eeb9bb6a
View on Github →feat(data/polynomial/coeff): single-variate C_dvd_iff_dvd_coeff (#4355)
Adds a single-variate version of the lemma mv_polynomial.C_dvd_iff_dvd_coeff
(Useful for Gauss's Lemma)
feat(data/polynomial/coeff): single-variate C_dvd_iff_dvd_coeff (#4355)
Adds a single-variate version of the lemma mv_polynomial.C_dvd_iff_dvd_coeff
(Useful for Gauss's Lemma)