Commit 2022-03-29 09:36 545c2655
View on Github →feat(data/polynomial/derivative): if p
is a polynomial, then p.derivative.nat_degree ≤ p.nat_degree - 1
(#12948)
I also golfed the proof that p.derivative.nat_degree ≤ p.nat_degree
.
feat(data/polynomial/derivative): if p
is a polynomial, then p.derivative.nat_degree ≤ p.nat_degree - 1
(#12948)
I also golfed the proof that p.derivative.nat_degree ≤ p.nat_degree
.