[Refractor] contradiction over ⊥-elim in `Data.*.Relation.Binary.Lex.*`#2671

JacquesCarette merged 4 commits intoagda:masteragda/agda-stdlib:masterfrom

jmougeot:contradiction17jmougeot/agda-stdlib:contradiction17Copy head branch name to clipboard