mathlib

3484e8be - fix(data/mv_polynomial): fix doc strings (#4219)