Theorem SimpleGraph.IsCompleteMultipartite.colorable_of_cliqueFree

Modification history

2025-05-15 14:23

Mathlib/Combinatorics/SimpleGraph/CompleteMultipartite.lean

feat(Combinatorics/SimpleGraph): add IsCompleteMultipartite definition and related results (#24092) …

Added SimpleGraph.IsCompleteMultipartite.colorable_of_cliqueFree View on Github →