P
Initializing...
Combinatorial dimension of LP feasibility: Helly bound $n+1$ · Prove2Me