Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-13 19:33 6c35df0d

View on Github →

feat(category_theory/iso): missing lemmas (#1001)

feat(category_theory/iso): missing lemmas
formatting
formatting
oops
one more
sleep

Estimated changes

Modified src/algebraic_geometry/presheafed_space.lean

Modified src/category_theory/category.lean

modified theorem category_theory.cancel_epi

modified theorem category_theory.cancel_mono

Modified src/category_theory/isomorphism.lean

added theorem category_theory.eq_of_inv_eq_inv

added theorem category_theory.is_iso.inv_comp

added theorem category_theory.is_iso.inv_id

added theorem category_theory.is_iso.is_iso.inv_inv

added theorem category_theory.is_iso.iso.inv_hom

added theorem category_theory.is_iso.iso.inv_inv