Theorem SimpleGraph.Coloring.card_colorClasses_le

Modification history