Library prosa.util.int

From mathcomp Require Export ssralg ssrnum ssrint order.

Export Order.Theory GRing.Theory Num.Theory.