P
Initializing...
Sands-Sauer-Woodrow Corollary 2, source orientation: a two-coloured tournament has a monochromatic source · Prove2Me