Library Stdlib.ssr.ssrunder

From Corelib Require Export ssrunder.