mathlib
2ee0f1ef - feat(category_theory/isomorphism): is_iso versions (#5355)

Commit

5 years ago

feat(category_theory/isomorphism): is_iso versions (#5355) add `is_iso` versions of some existing `iso` lemmas

Author

b-mehta

Parents