mathlib3
99d5c09c - feat(combinatorics/simple_graph): Graph coloring and partitions (#10287)

Commit

4 years ago

feat(combinatorics/simple_graph): Graph coloring and partitions (#10287) Co-authored-by: Kyle Miller <kmill31415@gmail.com>

Author

arthurpaulino

Committer

jcommelin

Parents