P
Initializing...
Rudelson selection: the self-bounding desymmetrization recursion · Prove2Me