Commit 2025-11-05 14:30 a4bb4e54
View on Github →feat(SimpleGraph): only the complete graph has chromatic number equal to its cardinality (#30053) Prove that only the (finite) complete graph has chromatic number equal to its cardinality, thereby finishing an iff fully characterizing graphs with chromatic number equal to their cardinality.