Theorem SimpleGraph.isContained_completeEquipartiteGraph_of_colorable

Modification history

2025-08-20 10:00
Mathlib/Combinatorics/SimpleGraph/CompleteMultipartite.lean
feat(Combinatorics/SimpleGraph): define `completeEquipartiteGraph` (#27597) …
Added SimpleGraph.isContained_completeEquipartiteGraph_of_colorableView on Github →