[Merged by Bors] - feat(Combinatorics/Quiver): add congruence theorems for reflexive prefunctors#30580

juliankom wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

juliankom:reflquiv-basicsjuliankom/mathlib4:reflquiv-basicsCopy head branch name to clipboard