Def SimpleGraph.Partition.toColoring

Modification history

2026-07-24 07:15
Mathlib/Combinatorics/SimpleGraph/Partition.lean
chore: add missing `noncomputable` (#41446) …
Deleted SimpleGraph.Partition.toColoringView on Github →
2023-02-28 12:11
Mathlib/Combinatorics/SimpleGraph/Partition.lean
feat: port Combinatorics.SimpleGraph.Partition (#2536)
Added SimpleGraph.Partition.toColoringView on Github →