fixes issue #2237#2238

MatthewDaggitt merged 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:divides-symboljamesmckinna/agda-stdlib:divides-symbolCopy head branch name to clipboard