mathlib
56de12a7 - refactor(data/mv_polynomial): upgrade `monomial` to a `linear_map` (#9870)

Commit

4 years ago

refactor(data/mv_polynomial): upgrade `monomial` to a `linear_map` (#9870)

Author

urkud

urkud

Parents

Loading