Theorem SimpleGraph.IsClique.card_le_of_coloring

Modification history