PR reviews

Stream: graph theory

[Johan Commelin]

If you are interested in helping out with mathlib PR reviews, and you know some graph theory, please help with reviewing these PRs: https://github.com/leanprover-community/mathlib4/pulls?q=is%3Apr+is%3Aopen+sort%3Aupdated-desc+graph+label%3Aawaiting-review+label%3At-combinatorics

Here are some guidelines to help you get started with PR reviews: https://leanprover-community.github.io/contribute/pr-review.html

[Johan Commelin]

Here's another combinatorics / graph theory PR that would love to get a review:

feat: Triangle counting #8896