Library Stdlib.ssr.ssrfun

From Corelib Require Export ssrfun.