Commit 2020-12-06 07:55 12a8361f
View on Github →feat(data/polynomial): simp lemmas about polynomial derivatives (#5256) Add simp lemmas derivative_bit0 derivative_bit1 and derivative_X_pow
feat(data/polynomial): simp lemmas about polynomial derivatives (#5256) Add simp lemmas derivative_bit0 derivative_bit1 and derivative_X_pow