Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.nat_iso.inv_hom_id_app

Modification history

2020-07-14 15:06
src/category_theory/natural_isomorphism.lean
chore(category_theory/natural_isomorphism): move lemmas to correct namespace, add simp lemma (#3401)
Deleted category_theory.nat_iso.inv_hom_id_appView on Github →
2020-05-31 06:22
src/category_theory/natural_isomorphism.lean
chore(*): split long lines (#2883) …
Modified category_theory.nat_iso.inv_hom_id_appView on Github →
2020-05-20 15:34
src/category_theory/natural_isomorphism.lean
chore(category_theory): attributes and a transport proof (#2751) …
Modified category_theory.nat_iso.inv_hom_id_appView on Github →
2019-04-11 00:50
src/category_theory/natural_isomorphism.lean
minor changes (#921)
Added category_theory.nat_iso.inv_hom_id_appView on Github →