Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.nat_iso.is_iso_app_of_is_iso

Modification history

2020-09-14 08:03
src/category_theory/natural_isomorphism.lean
doc(category_theory/natural_isomorphism): documentation and cleanup (#4120)
Deleted category_theory.nat_iso.is_iso_app_of_is_isoView on Github →
2019-07-20 06:49
src/category_theory/natural_isomorphism.lean
feat(category_theory/monad): monadic adjunctions (#1176) …
Added category_theory.nat_iso.is_iso_app_of_is_isoView on Github →