P
Initializing...
Proposition 17: rank-one dual tightness for K=2 and rank three · Prove2Me