P
Initializing...
Ryser's conjecture for $r = 3$ (Aharoni) · Prove2Me