Loading paper
The odd chromatic number of a planar graph is at most 8 | Tomesphere