mathlib3
49bf3d3e - feat(data/polynomial/taylor): taylor_mul (#11193)

Commit
3 years ago
feat(data/polynomial/taylor): taylor_mul (#11193) Co-authored-by: Johan Commelin <johan@commelin.net>
Author
Parents
Loading