Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.supp_subset_range_nat_degree_succ

Modification history

2020-10-26 05:21

src/data/polynomial/degree/basic.lean

chore(data/polynomial/{degree/basic, eval}): Some trivial lemmas about polynomials (#4768) …

Added polynomial.supp_subset_range_nat_degree_succ View on Github →