mathlib
ccd895f8 - feat(category_theory/types): conversions between iso and equiv

Commit

6 years ago

feat(category_theory/types): conversions between iso and equiv

References

#632 - feat(category_theory/types): conversions between iso and equiv

Author

rwbarton

rwbarton

Committer

johoelzl

johoelzl

Parents

Loading