P

Initializing...

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