Library Coq.Num.GtProps