Library Coq.PArith.PArith

Library for positive natural numbers