mathlib3
ab35b577 - Merge branch 'master' into bottine/quotient_groupoids

Commit

3 years ago

Merge branch 'master' into bottine/quotient_groupoids

References

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

Author

bottine

bottine

Parents

Loading