Theorem Quiver.FreeGroupoid.congr_reverse_comp

Modification history

2025-10-03 14:43
Mathlib/CategoryTheory/Groupoid/FreeGroupoid.lean
chore: replace CategoryTheory.FreeGroupoid with Quiver.FreeGroupoid (#30115) …
Added Quiver.FreeGroupoid.congr_reverse_compView on Github →