The planar edge-coloring theorem of Vizing in O(n log n) time. - Patryk Jedrzejczak; Lukasz Kowalik (CoRR, 2025)