P
Initializing...
A squared-norm lower bound under two separation constraints · Prove2Me