mathlib
ecd889a5 - feat(data/polynomial/*): higher order derivative (#4187)

Commit

5 years ago

feat(data/polynomial/*): higher order derivative (#4187)

References

#4925 - Make prime-avoidance branch build

Author

jjaassoonn

jjaassoonn

Parents

Loading