mathlib3
c47d1d0d - feat(data/{mv_}polynomial): make args to aeval implicit (#3494)

Commit

6 years ago

feat(data/{mv_}polynomial): make args to aeval implicit (#3494) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents