Line-graph colourings and matching decompositions

Source: url:https://github.com/jtraverso/lean-pool/tree/4c1fddb73f9891afc2186f8f11066ea2a08fe4fc/LeanPool/GraphColouringMatching Authors: Juan Pablo Traverso Gianini Status: verified Main declarations: SimpleGraph.lineGraphColoringEquivMatchingDecomposition Tags: graph-theory, line-graphs, edge-colouring, matchings MSC: 05C15, 05C70