P
Initializing...
An exponential bound for the number of local-cover rounds · Prove2Me