Library Stdlib.ssrmatching.ssrmatching

From Corelib Require Export ssrmatching.