mathlib3
feat(category_theory/types): conversions between iso and equiv
#632
Merged
Overview
Commits
1
Changes
View On GitHub

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

johoelzl merged 1 commit into leanprover-community:master from rwbarton:iso-type
rwbarton
rwbarton feat(category_theory/types): conversions between iso and equiv
e689d0de
johoelzl johoelzl merged ccd895f8 into master 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum