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