@misc{indiciae7af3c2418296,
  title = {Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified},
  author = {Martin Dvorak and Tristan Figueroa-Reid and Rida Hamadani and Byung-Hak Hwang and Evgenia Karunus and Vladimir Kolmogorov and Alexander Meiburg and Alexander Nelson and Peter Nelson and Mark Sandey and Ivan Sergeev},
  year = {2025},
  url = {https://arxiv.org/abs/2509.20539},
  note = {Source identifier: 2509.20539}
}