feat(Quiv): add the empty, vertex, point, interval, and walking quivers#24540

robertmaxton42 wants to merge 7 commits intomasterleanprover-community/mathlib4:masterfrom

robertmaxton42/quiv-helpers10leanprover-community/mathlib4:robertmaxton42/quiv-helpers10Copy head branch name to clipboard