P
Initializing...
Each coefficient dominates mu, so nullSOS - mu·misalign is a nonnegative sum · Prove2Me