Classical graph colouring: lists, orientations and spectra - #687

Classical graph colouring: lists, orientations and spectra#687

Vilin97 merged 6 commits into

LeanPool:mainLeanPool/lean-pool:mainfrom

jtraverso:jtraverso/classical-graph-colouringjtraverso/lean-pool:jtraverso/classical-graph-colouringCopy head branch name to clipboard