Library mathcomp.ssreflect.ssrbool
From
Coq
Require
Export
ssrbool
.