mathlib3

adc4ebc7 - doc(data/polynomial/basic): fix docstring (#15814)