Coq中MSets的示例用法

Coq中MSets的示例用法