mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore(data/polynomial/expand): update docstrings for move

Open Ruben-VandeVelde opened this issue 3 years ago • 0 comments

Ref: #13776.

Open in Gitpod

Ruben-VandeVelde avatar Aug 13 '22 20:08 Ruben-VandeVelde