Simplify definitions/exports in Data.List.Relation.Unary.Unique.*#2480

jamesmckinna merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:pr2479-simplify-uniquejamesmckinna/agda-stdlib:pr2479-simplify-uniqueCopy head branch name to clipboard