Library Coq.Num.SubProps