mathlib3

a3e21a88 - feat(category_theory/zero): lemmas about zero objects and zero morphisms, and improve docs (#3315)

feat(category_theory/zero): lemmas about zero objects and zero morphisms, and improve docs (#3315) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Johan Commelin <johan@commelin.net>