mathlib
c30131fb - feat(data/polynomial/{derivative, iterated_deriv}): reduce assumptions (#13368)

Commit

3 years ago

feat(data/polynomial/{derivative, iterated_deriv}): reduce assumptions (#13368)

Author

astrainfinita

astrainfinita

Parents

Loading