Library Stdlib.ssr.ssrclasses

From Corelib Require Export ssrclasses.