[Wikipedia](https://en.wikipedia.org/wiki/List_coloring) The types should be named `SimpleGraph.{Vertex,Edge,Total}ListColoring` and the modules should be named `Coloring/{Vertex,Edge,Total}List.lean`.
Wikipedia
The types should be named
SimpleGraph.{Vertex,Edge,Total}ListColoringand the modules should be namedColoring/{Vertex,Edge,Total}List.lean.