feat(category_theory): subsingleton (has_zero_morphisms) #2180
mergify
merged
10 commits into
master
from
subsingleton_has_zero_morphisms
feat(category_theory): subsingleton (has_zero_morphisms)
e547914d
fix
da69994b
jcommelin
commented
on 2020-03-19
Update src/category_theory/limits/shapes/zero.lean
85304a5e
Update src/category_theory/limits/shapes/zero.lean
c8c089f4
non-terminal simp
dbf7be4c
add warning message
4669cb89
TwoFX
approved these changes
on 2020-03-19
Update src/category_theory/discrete_category.lean
2ea2548c
jcommelin
approved these changes
on 2020-03-19
kim-em
commented
on 2020-03-19
kim-em
commented
on 2020-03-19
Apply suggestions from code review
969b3233
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into subsingleton_has_zero_morphisms
7badefab
Merge branch 'master' into subsingleton_has_zero_morphisms
651b0a58
Login to write a write a comment.
Login via GitHub