[ refactor ] `Algebra.Properties.Semiring.Divisibility` and friends#2579

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

jamesmckinna:refactor-primalityjamesmckinna/agda-stdlib:refactor-primalityCopy head branch name to clipboard