mathlib
31047b0c - managed a proof using prefunctor.ext alone !!

Commit

2 years ago

managed a proof using prefunctor.ext alone !!

References

#18693 - feat(combinatorics.quiver): Schreier and Cayley graphs

Author

bottine

bottine

Parents

Loading