Qualified imports in Data.Integer.Divisibility fixing #2280#2294

MatthewDaggitt merged 4 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:integer-divisibilityjamesmckinna/agda-stdlib:integer-divisibilityCopy head branch name to clipboard