Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-14 03:22 b23e14de

View on Github →

feat(data/polynomial/eval): prod_comp (#6644) Extend mul_comp to multiset.prod

Estimated changes

added theorem polynomial.prod_comp