mathlib3

14c11403 - chore(category_theory/groupoid/*) More subgroupoid lemmas (#17147)

chore(category_theory/groupoid/*) More subgroupoid lemmas (#17147) More subgroupoid lemmas and a few minor general cleanups. Co-authored-by: Junyan Xu <junyanxumath@gmail.com>