[draft] Polynomial#2821

samparkky wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

samparkky:add-new-modulesamparkky/agda-stdlib:add-new-moduleCopy head branch name to clipboard