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

jamesmckinna merged 3 commits into

agda:masteragda/agda-stdlib:masterfrom

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