Module Coq.Num.OppProps
Index