Commit 2018-11-05 08:56 c57a9a6d

fix(category_theory/isomorphism): use category_theory.inv in simp lemmas category_theory.is_iso.inv is not the preferred name for this.