mathlib3
b5a641e8 - chore(data/polynomial): clean up commented code (#1251)

Commit

6 years ago

chore(data/polynomial): clean up commented code (#1251) Commented code that wasn't removed after a refactor.

References

Author

jcommelin

Committer

ChrisHughes24

Parents