Library Stdlib.Init.Sumbool

From Corelib Require Export Sumbool.