P
Initializing...
Whitney bound, easy direction `κ(G) ≤ δ(G)`. · Prove2Me