Library Coq.ssrsearch.ssrsearch

Require Import ssreflect.