derivative): add more lemmas (#16139)

Commit

3 years ago

feat(data/polynomial/derivative): add more lemmas (#16139) Co-authored-by: Jujian Zhang <jujian.zhang1998@outlook.com>

Author

Ruben-VandeVelde

Parents