Library Stdlib.Init.Specif

From Corelib Require Export Specif.