Library Stdlib.Init.Nat
From
Corelib
Require
Export
Nat
.