Theorem SimpleGraph.coe_recolorOfCardLE

Modification history

2024-03-22 14:25

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

feat(SimpleGraph/Coloring): Surjectivity of graph colorings (#11397) …

Added SimpleGraph.coe_recolorOfCardLE View on Github →