Library Coq.PArith.PArith


Library for positive natural numbers

Require Export BinNums BinPos Pnat POrderedType.