[ deprecate ] names for deMorgan lemmas in `Relation.Nullary.Negation`#2838

jamesmckinna wants to merge 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:deMorgan-Predjamesmckinna/agda-stdlib:deMorgan-PredCopy head branch name to clipboard