Library Stdlib.ssr.ssreflect

From Corelib Require Export ssreflect.