Def Quiver.FreeGroupoid.of

Modification history

2025-11-15 10:39

Mathlib/CategoryTheory/Groupoid/FreeGroupoid.lean

feat: free groupoid on a category, free-forgetful adjunction (#29279) …

Modified Quiver.FreeGroupoid.of View on Github →

2025-10-03 14:43

Mathlib/CategoryTheory/Groupoid/FreeGroupoid.lean

chore: replace CategoryTheory.FreeGroupoid with Quiver.FreeGroupoid (#30115) …

Added Quiver.FreeGroupoid.of View on Github →