mathlib3

5c22531b - doc(data/polynomial/denoms_clearable): fix typo in the doc-string (#6174)