mathlib3

feat(category_theory): subsingleton (has_zero_morphisms)

#2180

Merged