Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-11 10:07 6557f513

View on Github →

feat(tactic/ext): add indexing of extensionality lemmas

Estimated changes

Modified category_theory/isomorphism.lean

modified def category_theory.inv

modified def category_theory.is_iso.hom_inv_id

modified def category_theory.is_iso.inv_hom_id

modified theorem category_theory.iso.hom_inv_id

modified theorem category_theory.iso.inv_hom_id

modified def category_theory.iso.refl

modified def category_theory.iso.symm

modified def category_theory.iso.trans

Modified tactic/basic.lean

Modified tactic/ext.lean