mathlib3

feat(category_theory/groupoid/quotient): quotients and presentations of groupoids

#17109

Open