Challenge 2: the scaled excluded-minor statement $S(r,B)$ · Prove2Me

P

Initializing...

Challenge 2: the scaled excluded-minor statement $S(r,B)$ · Prove2Me