Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-11 00:50 22fcb4e9

View on Github →

minor changes (#921)

Estimated changes

Modified src/category_theory/concrete_category.lean

added theorem category_theory.bundled.coe_id

Modified src/category_theory/eq_to_hom.lean

added theorem category_theory.eq_to_hom_op

Modified src/category_theory/equivalence.lean

Modified src/category_theory/functor_category.lean

Modified src/category_theory/natural_isomorphism.lean

added theorem category_theory.nat_iso.hom_inv_id_app

added theorem category_theory.nat_iso.inv_hom_id_app

Modified src/category_theory/opposites.lean

added theorem category_theory.op_id_unop

added theorem category_theory.unop_id_op