Library Coq.ZArith.Zminmax


Require Import Orders BinInt Zcompare Zorder.

THIS FILE IS DEPRECATED.