P
Initializing...
Geelen, Gerards, Kapoor: seven excluded minors for $\mathrm{GF}(4)$ · Prove2Me