Def SimpleGraph.IsCompleteMultipartite

Modification history

2026-03-26 23:51
Mathlib/Combinatorics/SimpleGraph/CompleteMultipartite.lean
chore(Order/Defs/Unbundled): deprecate `def Transitive` in favor of `class IsTrans` (#35592)
Modified SimpleGraph.IsCompleteMultipartiteView on Github →
2025-05-15 14:23
Mathlib/Combinatorics/SimpleGraph/CompleteMultipartite.lean
feat(Combinatorics/SimpleGraph): add IsCompleteMultipartite definition and related results (#24092) …
Added SimpleGraph.IsCompleteMultipartiteView on Github →