P
Initializing...
The Beck--Fiala theorem: discrepancy at most $2t-1$ · Prove2Me