Adding extrema to a non-strict order respects equality#2904

Taneb merged 4 commits intomasteragda/agda-stdlib:masterfrom

non-strict-extrema-resp-eqagda/agda-stdlib:non-strict-extrema-resp-eqCopy head branch name to clipboard