P
Initializing...
From ambient-dimension discrepancy bounds to bounds in the number of vectors · Prove2Me