mathlib3
chore(src/data/mv_polynomial): doc comments and removing unused arguments
#1585
Merged
Merged