Mathlib Changelog
v4
Changelog
About
Github
Inductive
Quiver.FreeGroupoid.redStep
Modification history
2025-10-03 14:43
Mathlib/CategoryTheory/Groupoid/FreeGroupoid.lean
chore: replace CategoryTheory.FreeGroupoid with Quiver.FreeGroupoid (#30115) …
Added
Quiver.FreeGroupoid.redStep
View on Github →