Library Stdlib.BinNums.NatDef

From Corelib Require Export NatDef.