https://github.com/coq-community/lemma-overloading

https://github.com/coq-community/lemma-overloading

This project has not been synced yet. Check back in a few minutes.