Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.next_coeff_up_C_eq_zero

Modification history

2020-09-22 11:28

src/data/polynomial/degree/trailing_degree.lean

feat(data/polynomial/degree/trailing_degree): basic definitions and properties (#4113) …

Added polynomial.next_coeff_up_C_eq_zero View on Github →