Theorem Quiver.freeGroupoidFunctor_id

Modification history

2025-10-03 14:43

Mathlib/CategoryTheory/Groupoid/FreeGroupoid.lean

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

Added Quiver.freeGroupoidFunctor_id View on Github →