Library Coq.QArith.Qminmax
Maximum and Minimum of two rational numbers
Local Open Scope Q_scope.
Qmin and Qmax are obtained the usual way from Qcompare.
We obtain hence all the generic properties of max and min.
Properties specific to the Q domain
Compatibilities (consequences of monotonicity)