Def SimpleGraph.Coloring.starGraphBool

Modification history

2026-09-09 06:33

Mathlib/Combinatorics/SimpleGraph/Star.lean

feat(Combinatorics/SimpleGraph): star graphs (and more) are bipartite (#43514) …

Added SimpleGraph.Coloring.starGraphBool View on Github →