Challenge 6: the $(r/2)$-well-quasi-ordering statement, alternating between planar and all finite graphs

Initializing...

Challenge 6: the $(r/2)$-well-quasi-ordering statement, alternating between planar and all finite graphs · Prove2Me