P
Initializing...
Out-degree, directed cycles and the Caccetta–Häggkvist statement at out-degree $r$ · Prove2Me