Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-19 06:18 445e3320

View on Github →

chore(category_theory/isomorphism): use @[simps] (#2181)

Estimated changes

Modified src/category_theory/isomorphism.lean

modified def category_theory.iso.refl

deleted theorem category_theory.iso.refl_hom

deleted theorem category_theory.iso.refl_inv

modified def category_theory.iso.trans

deleted theorem category_theory.iso.trans_hom

deleted theorem category_theory.iso.trans_inv