Library Stdlib.ssr.ssrsetoid

From Corelib Require Export ssrsetoid.