mathlib3
feat(category_theory/types): conversions between iso and equiv
#632
Merged
Merged
Commits
-
rwbarton committed 6 years ago
