Theorem SimpleGraph.coe_recolorOfEquiv

Modification history

2024-03-22 14:25

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

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

Added SimpleGraph.coe_recolorOfEquiv View on Github →