arXiv:2208.10936 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords planar graph, colour theorem, unavoidability, mammoth hand-checkable proof, discharging Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset