Commit 2019-10-18 03:27 a1c0ad58
View on Github →feat(category_theory): def is_isomorphic_setoid, groupoid.iso_equiv_hom (#1506)
- feat(category_theory): def
is_isomorphic_setoid,groupoid.iso_equiv_hom - Move to a dedicated file, define
isomorphic_class_functor - explicit/implicit arguments
- Update src/category_theory/groupoid.lean
- Update src/category_theory/groupoid.lean
- Update src/category_theory/isomorphism_classes.lean
- Update src/category_theory/isomorphism_classes.lean
- Update src/category_theory/isomorphism_classes.lean