definition of Irreducible and Rough; refactoring of Prime and Composite cf. #2180#2181

jamesmckinna merged 79 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:issue2180jamesmckinna/agda-stdlib:issue2180Copy head branch name to clipboard