mathlib
97b5ff2c - merging changes from the subgroupoid commits

Commit

3 years ago

merging changes from the subgroupoid commits

References

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

Author

bottine

bottine

Parents

Loading