Library Coqtail.Arith.Nminus
Require
Import
Arith
.
Require
Import
Compare
.
Open
Scope
nat_scope
.