mathlib
12a8361f - feat(data/polynomial): simp lemmas about polynomial derivatives (#5256)

Commit

5 years ago

feat(data/polynomial): simp lemmas about polynomial derivatives (#5256) Add simp lemmas derivative_bit0 derivative_bit1 and derivative_X_pow

Author

alexjbest

Parents