mathlib3
feat(combinatorics/simple_graph/chromatic): chromatic polynomial and that its evaluation computes cardinality of colorings
#18003
Open

feat(combinatorics/simple_graph/chromatic): chromatic polynomial and that its evaluation computes cardinality of colorings #18003

kmill wants to merge 4 commits into master from kmill_chromatic
kmill
kmill start to chromatic polynomials, contraction/deletion, and connection …
a3588767
kmill kmill requested a review 3 years ago
kmill kmill added WIP
kmill statement of deletion-contraction
d81c7cc1
kmill skeleton of direct calculation
bab246f4
alreadydone
alreadydone commented on 2022-12-31
kmill use finset.prod_add
fa43b7d0
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone