Library Stdlib.Init.Peano

From Corelib Require Export Peano.