mathlib
1d2eda7b - feat(category_theory/isomorphism): as_iso

Commit

6 years ago

feat(category_theory/isomorphism): as_iso Also clean up some proofs.

References

#633 - feat(category_theory/isomorphism): as_iso

Author

rwbarton

rwbarton

Committer

johoelzl

johoelzl

Parents

Loading