Theorem SimpleGraph.CompleteBipartiteGraph.chromaticNumber

Modification history