mathlib3
2da25ede - 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

Parents