Vizing's theorem and equitable edge colourings

Source: url:https://github.com/jtraverso/erdos-81-chordal-clique-partitions Authors: Juan Pablo Traverso Gianini Status: verified Main declarations: LeanPool.Vizing.exists_equitable_edge_colouring Tags: graph-theory, edge-colouring, vizing-theorem, equitable-colouring, kempe-chains MSC: 05C15