Library Coqtail.Arith.Nminus


Require Import Arith.
Require Import Compare.
Open Scope nat_scope.