mathlib3
feat(category_theory): def `is_isomorphic_setoid`, `groupoid.iso_equiv_hom`
#1506
Merged
Merged
feat(category_theory): def `is_isomorphic_setoid`, `groupoid.iso_equiv_hom` #1506
mergify
merged
10 commits into
master
from
is_isomorphic_setoid
feat(category_theory): def `is_isomorphic_setoid`, `groupoid.iso_equi…
79d918e8
jcommelin
commented
on 2019-10-05
Move to a dedicated file, define `isomorphic_class_functor`
7244e4d4
explicit/implicit arguments
200a33c6
Update src/category_theory/groupoid.lean
44d5e2c2
Update src/category_theory/groupoid.lean
9a2f54d9
Update src/category_theory/isomorphism_classes.lean
d7fa77a4
Merge branch 'master' into is_isomorphic_setoid
ff300039
kim-em
commented
on 2019-10-18
Update src/category_theory/isomorphism_classes.lean
937727b1
kim-em
commented
on 2019-10-18
Update src/category_theory/isomorphism_classes.lean
03ba6a1a
kim-em
approved these changes
on 2019-10-18
Merge branch 'master' into is_isomorphic_setoid
0b905245
Login to write a write a comment.
Login via GitHub