Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-12 05:48 0926f07a

View on Github →

feat(data/polynomial/eval): add some lemmas for comp (#14346)

Estimated changes

Modified src/data/polynomial/eval.lean

added theorem polynomial.coe_comp_ring_hom

added theorem polynomial.coe_comp_ring_hom_apply

added theorem polynomial.list_prod_comp

added theorem polynomial.multiset_prod_comp

modified theorem polynomial.prod_comp

Modified src/field_theory/abel_ruffini.lean