Library Stdlib.ssr.ssrbool

From Corelib Require Export ssrbool.