Def Quiver.FreeGroupoid

Modification history

2025-11-15 10:39
Mathlib/CategoryTheory/Groupoid/FreeGroupoid.lean
feat: free groupoid on a category, free-forgetful adjunction (#29279) …
Deleted Quiver.FreeGroupoidView on Github →
2025-10-03 14:43
Mathlib/CategoryTheory/Groupoid/FreeGroupoid.lean
chore: replace CategoryTheory.FreeGroupoid with Quiver.FreeGroupoid (#30115) …
Added Quiver.FreeGroupoidView on Github →