Theorem SimpleGraph.IsClique.card_le_chromaticNumber

Modification history