P
Initializing...
Small translated sets do not cover the Boolean cube · Prove2Me