mathlib

92b557b0 - chore(data/polynomial/expand): update docstrings for move (#16044)