Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-26 05:21 6e4fe98c

View on Github →

chore(data/polynomial/{degree/basic, eval}): Some trivial lemmas about polynomials (#4768) I have added the lemma supp_card_le_succ_nat_degree about the cardinality of the support of a polynomial and removed the useless commutativity assumptio in map_sum and map_neg.

Estimated changes