Sabidussi's compatibility conjecture for Eulerian multigraphs

Source: url:https://github.com/gexahedron/sabidussi-lean/blob/032e640df0cc41d4d3d217f7c68628ab19cb3767/sabidussi_proof.pdf Authors: Nikolay Ulyanov Status: verified Main declarations: Sabidussi.LoopMultigraph.loop_sabidussi_compatibility_ordinary Tags: graph-theory, eulerian-graphs, circuit-decomposition, sabidussi MSC: 05C45