Ivan Sergeev, Martin Dvorak, Cameron Rampell +2
This document is a blueprint for the formalization in Lean of the structural theory of regular matroids underlying Seymour's decomposition theorem. We present a modular account of…