P
Initializing...
Ryser's conjecture for $r = 2$ (Kőnig's theorem) · Prove2Me