Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified

Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani +8

Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory fa…