P
Initializing...
Bixby, Seymour: four excluded minors for $\mathrm{GF}(3)$ · Prove2Me