Theorem SimpleGraph.completeMultipartiteGraph.isCompleteMultipartite

Modification history

2025-05-15 14:23
Mathlib/Combinatorics/SimpleGraph/CompleteMultipartite.lean
feat(Combinatorics/SimpleGraph): add IsCompleteMultipartite definition and related results (#24092) …
Added SimpleGraph.completeMultipartiteGraph.isCompleteMultipartiteView on Github →