Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-11-05 05:20 072a11ee

View on Github →

feat(data/polynomial): polynomial.comp (#441)

Estimated changes

added theorem polynomial.C_comp
added theorem polynomial.C_pow
added theorem polynomial.X_comp
added theorem polynomial.add_comp
added def polynomial.comp
added theorem polynomial.comp_C
added theorem polynomial.comp_X
added theorem polynomial.comp_one
added theorem polynomial.comp_zero
modified theorem polynomial.degree_sum_le
added theorem polynomial.eval_comp
added theorem polynomial.eval₂_sum
added theorem polynomial.mul_comp
added theorem polynomial.one_comp
added theorem polynomial.zero_comp