mathlib3
refactor(category_theory/single_obj): migrate to bundled morphisms
#1330
Merged
Merged
refactor(category_theory/single_obj): migrate to bundled morphisms #1330
mergify
merged
13 commits into
leanprover-community:master
from
urkud:single-obj-bundled
Define equivalence between `{ f // is_monoid_hom f }` and `monoid_hom`
c33a62eb
Migrate `single_obj` to bundled homomorphisms
36f52810
Merge branch 'master' into single-obj-bundled
c1e9993f
ChrisHughes24
commented
on 2019-08-15
Merge branch 'master' into single-obj-bundled
43ec81ff
Merge branch 'master' into single-obj-bundled
dac6e496
Merge branch 'master' into single-obj-bundled
6b3b1aa3
Merge branch 'master' into single-obj-bundled
e4485eb4
Merge branch 'master' into single-obj-bundled
ea3bceda
Merge branch 'master' into single-obj-bundled
edf15f5e
Merge branch 'master' into single-obj-bundled
6c44f1cd
Fix `Mon.hom_equiv_monoid_hom` as suggested by @jcommelin
7a99af0a
Merge branch 'master' into single-obj-bundled
99580416
jcommelin
approved these changes
on 2019-08-28
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into single-obj-bundled
c424c948
Login to write a write a comment.
Login via GitHub