Mathlib Changelog
v4
Changelog
About
Github
Def
SimpleGraph.completeMultipartiteGraph.topEmbedding
Modification history
2025-04-07 08:31
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph): add facts about cliques and colorings of completeMultipartiteGraph (#21479) …
Added
SimpleGraph.completeMultipartiteGraph.topEmbedding
View on Github →