Theorem polynomial.nat_degree_eq_zero_of_derivative_eq_zero
Modification history
2022-11-15 22:05
src/data/polynomial/derivative.lean
feat(analysis/calculus/local_extr): generalize `polynomial.card_root_set_le_derivative` (#17315) …
Modified polynomial.nat_degree_eq_zero_of_derivative_eq_zeroView on Github →2022-03-21 05:51
src/data/polynomial/derivative.lean
feat(polynomial/derivative): tidy+new theorems (#12833) …
Modified polynomial.nat_degree_eq_zero_of_derivative_eq_zeroView on Github →