add a notation for composition of isomorphisms
[coq-categories.git] / .gitignore
1 build/
2 build/**