mathlib3
274042d5 - feat(data/polynomial): basic lemmas (#6434)

Commit

4 years ago

feat(data/polynomial): basic lemmas (#6434) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents