mathlib
56a59d3e - feat(data/polynomial/hasse_deriv): Hasse derivatives (#8998)

Commit

4 years ago

feat(data/polynomial/hasse_deriv): Hasse derivatives (#8998)

Author

jcommelin

jcommelin

Parents

Loading