Vizing’s Theorem in Near-Linear Time | Synapse