P
Initializing...
Finite nonnegative Farkas weights certify an exact segment Minkowski summand · Prove2Me