mathlib
d12a7319 - chore(data/mv_polynomial): mark `mv_polynomial.ext` as `@[ext]` (#5289)

Commit

5 years ago

chore(data/mv_polynomial): mark `mv_polynomial.ext` as `@[ext]` (#5289)

Author

urkud

urkud

Parents

Loading