Library Stdlib.Init.Wf

From Corelib Require Export Init.Wf.