Revision #2903 → #3358 · back to history
4bd130217d84| Field | From #2903 | To #3358 |
|---|---|---|
| note | Planar graphs are not defined in Mathlib (only mentioned as a TODO in `SimpleGraph/Coloring/Vertex.lean`), so Wagner's planarity theorem is absent. | Planarity is not defined in Mathlib (grep for SimpleGraph planar returns nothing), so Wagner's planarity theorem is absent. |
8b3aa71d127f