mathlib3
5000fb02 - feat(data/polynomial/eval): is_root_(prod/map) (#10360)

Commit
4 years ago
feat(data/polynomial/eval): is_root_(prod/map) (#10360) Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>
Author
Parents
Loading