Library Stdlib.ZArith.Zminmax

From Stdlib Require Import Orders BinInt Zcompare Zorder.

THIS FILE IS DEPRECATED.