[ refactor ] reorganise `Relation.Nullary.Negation.Core` to make clean separation of properties#2805

jamesmckinna wants to merge 3 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:minimalNegationjamesmckinna/agda-stdlib:minimalNegationCopy head branch name to clipboard