Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-15 01:22 3a66d9ac

View on Github →

feat(polynomial): generalising some material to (noncomm_)semiring (#3043)

Estimated changes

Modified src/analysis/calculus/deriv.lean

Modified src/data/polynomial.lean

modified theorem polynomial.coeff_sum

added theorem polynomial.monomial_eq_smul_X

added theorem polynomial.monomial_one_eq_X_pow

modified def polynomial

Modified src/field_theory/splitting_field.lean

Modified src/ring_theory/adjoin_root.lean