Mathlib Changelog
v3
Changelog
About
Github
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
Modified
data/polynomial.lean
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₂_comp
added
theorem
polynomial.eval₂_sum
added
theorem
polynomial.mul_comp
added
theorem
polynomial.one_comp
added
theorem
polynomial.zero_comp