mathlib
3e10324f - feat(data/polynomial/taylor): Taylor expansion of polynomials (#9000)

Commit

4 years ago

feat(data/polynomial/taylor): Taylor expansion of polynomials (#9000)

Author

jcommelin

jcommelin

Parents

Loading