mathlib
f9289328 - merge changes from subgroupoid_more_less

Commit

3 years ago

merge changes from subgroupoid_more_less

References

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

Author

bottine

bottine

Parents

Loading