mathlib
b23e14de - feat(data/polynomial/eval): prod_comp (#6644)

Commit
4 years ago
feat(data/polynomial/eval): prod_comp (#6644) Extend `mul_comp` to `multiset.prod`
Author
Parents
Loading