Facts about isomorphisms and finite types in Coq
Primary LanguageCoq
No issues in this repository yet.