Theorem SimpleGraph.Coloring.not_adj_of_mem_colorClass

Modification history