strong-robertson-conjecture-for-split-off-minors0.1.0
Formalization of Oddomorphisms, Split-Off Minors, and the Strong Roberson Conjecture, a result from Arnar Ágúst Kristjánsson
1-1 of 1 versions of strong-robertson-conjecture-for-split-off-minors
Sort by
Date
- 0.1
0.1.0v4.32.1