P
Initializing...
A uniform lower bound for the cyclic box's column-combination map · Prove2Me