Library prosa.util.int

From mathcomp Require Export ssreflect ssrfun ssrbool order.
From mathcomp Require Export ssralg ssrnum ssrint.

Export Order.Theory GRing.Theory Num.Theory.